Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Naming conflict between enum literal and type name not detected #520

Closed
rssen opened this issue Dec 4, 2020 · 0 comments · Fixed by #521
Closed

Naming conflict between enum literal and type name not detected #520

rssen opened this issue Dec 4, 2020 · 0 comments · Fixed by #521
Assignees
Labels
bug model Related to model package (e.g., model verification)

Comments

@rssen
Copy link
Contributor

rssen commented Dec 4, 2020

It is only detected if the names are exactly the same (e.g. all upper-case letters)

Example:

package Test is

   type Enum is (
      FOO => 0
   ) with Size => 16;

   type Foo is mod 2**8;

   type Test_Frame is
      message
         B : Foo;
      end message;

end Test;
rflx-test.ads:59:09: "Foo" conflicts with declaration at line 18
gprbuild: *** compilation phase failed
@rssen rssen added the bug label Dec 4, 2020
@senier senier added this to To do in RecordFlux 0.5 via automation Dec 4, 2020
@treiher treiher added the model Related to model package (e.g., model verification) label Dec 7, 2020
@treiher treiher moved this from To do to In progress in RecordFlux 0.5 Dec 7, 2020
@treiher treiher self-assigned this Dec 7, 2020
treiher added a commit that referenced this issue Dec 7, 2020
@treiher treiher moved this from In progress to Done in RecordFlux 0.5 Dec 7, 2020
treiher added a commit that referenced this issue Dec 7, 2020
RecordFlux 0.5 automation moved this from Done to Merged Dec 7, 2020
treiher added a commit that referenced this issue Dec 7, 2020
@treiher treiher mentioned this issue Aug 4, 2021
9 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug model Related to model package (e.g., model verification)
Projects
No open projects
RecordFlux 0.5
  
Merged
Development

Successfully merging a pull request may close this issue.

2 participants