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

Sequence type is not referenced anywhere in LR #1235

Closed
senier opened this issue Oct 21, 2022 · 0 comments · Fixed by #1264
Closed

Sequence type is not referenced anywhere in LR #1235

senier opened this issue Oct 21, 2022 · 0 comments · Fixed by #1264
Assignees
@senier
Labels
bug documentation small Effort of one person-day or less
Projects
RecordFlux 0.8

Comments

@senier
Copy link
Member

senier commented Oct 21, 2022 •
edited
Loading

The sequence_type production is not referenced anywhere. It should probably become an alternative of basic_declaration in the language reference.

EDIT: same for type_derivation.
@senier senier added bug documentation small Effort of one person-day or less labels Oct 21, 2022
@treiher treiher added this to Medium in RecordFlux Future via automation Oct 21, 2022
@senier senier added this to To do in RecordFlux 0.8 via automation Nov 1, 2022
@senier senier removed this from Medium in RecordFlux Future Nov 1, 2022
@senier senier moved this from To do to Implementation in RecordFlux 0.8 Nov 30, 2022
@senier senier self-assigned this Nov 30, 2022
senier added a commit that referenced this issue Dec 1, 2022
@senier
Make type declaration / sequence type part of basic declaration
554b0ae 
Fixes #1235
@senier senier mentioned this issue Dec 1, 2022
Merged
senier added a commit that referenced this issue Dec 1, 2022
@senier
Sequence type is not referenced anywhere in LR
1373960 
Fixes #1235
@senier senier moved this from Implementation to Review in RecordFlux 0.8 Dec 1, 2022
senier added a commit that referenced this issue Dec 1, 2022
@senier
Sequence type is not referenced anywhere in LR
10c1aa8 
Fixes #1235
RecordFlux 0.8 automation moved this from Review to Done Dec 1, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@senier senier

Labels
bug documentation small Effort of one person-day or less
Projects
No open projects
RecordFlux 0.8
  
Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Make type declaration / sequence type part of basic declaration AdaCore/RecordFlux
1 participant
@senier