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.

Sign up for GitHub

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

Jump to bottom

Defining array with element type of other package not possible #347

Closed
treiher opened this issue Jul 17, 2020 · 0 comments · Fixed by #348
Closed

Defining array with element type of other package not possible #347

treiher opened this issue Jul 17, 2020 · 0 comments · Fixed by #348
Labels
bug specification Related to specification package (e.g., specification parsing)
Projects
RecordFlux 0.4.1

Comments

@treiher
Copy link
Collaborator

treiher commented Jul 17, 2020 

with B; 

package A is

   type C is array of B.C;

end A;
package B is

   type C is mod 2**8;

end B;
a.rflx:5:24: parser: error: Expected ";"
@treiher treiher added bug specification Related to specification package (e.g., specification parsing) labels Jul 17, 2020
@treiher treiher added this to To do in RecordFlux 0.4.1 via automation Jul 17, 2020
treiher added a commit that referenced this issue Jul 17, 2020
@treiher
Allow array with imported element type
c5d83fe 
Ref. #347
@treiher treiher mentioned this issue Jul 17, 2020
Merged
@treiher treiher moved this from To do to In progress in RecordFlux 0.4.1 Jul 17, 2020
treiher added a commit that referenced this issue Jul 17, 2020
@treiher
Allow array with imported element type
3fd6329 
Ref. #347
RecordFlux 0.4.1 automation moved this from In progress to Done Jul 17, 2020
treiher added a commit that referenced this issue Jul 17, 2020
@treiher
Allow array with imported element type
7e76229 
Ref. #347
@treiher treiher mentioned this issue Jul 22, 2020
Closed
4 tasks
treiher added a commit that referenced this issue Jul 23, 2020
@treiher
Allow array with imported element type
bbf4742 
Ref. #347
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug specification Related to specification package (e.g., specification parsing)
Projects
No open projects
RecordFlux 0.4.1
  
Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 347: Allow array with imported element type AdaCore/RecordFlux
1 participant
@treiher