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

Change message syntax #380

Closed
treiher opened this issue Jul 30, 2020 · 0 comments · Fixed by #385
Closed

Change message syntax #380

treiher opened this issue Jul 30, 2020 · 0 comments · Fixed by #385
Assignees
@treiher
Labels
specification Related to specification package (e.g., specification parsing)
Projects
RecordFlux 0.5

Comments

@treiher
Copy link
Collaborator

treiher commented Jul 30, 2020

It should be considered to remove commas in then-clauses as they seem not to be required.

Example

         Tag    : Tag
            then Length
               if Tag = Msg_Data
            then null
               if Tag = Msg_Error;
@treiher treiher added the specification Related to specification package (e.g., specification parsing) label Jul 30, 2020
@treiher treiher added this to To do in RecordFlux 0.5 Jul 30, 2020
@treiher treiher self-assigned this Jul 30, 2020
@treiher treiher moved this from To do to In progress in RecordFlux 0.5 Aug 6, 2020
treiher added a commit that referenced this issue Aug 6, 2020
@treiher
Change message syntax
93da715 
Ref. #380
treiher added a commit that referenced this issue Aug 6, 2020
@treiher
Change message syntax
f072416 
Ref. #380
@treiher treiher mentioned this issue Aug 6, 2020
Merged
@treiher treiher moved this from In progress to Ready in RecordFlux 0.5 Aug 6, 2020
treiher added a commit that referenced this issue Aug 6, 2020
@treiher
Change message syntax
d807de5 
Ref. #380
treiher added a commit that referenced this issue Aug 6, 2020
@treiher
Change message syntax
4bc411b 
Ref. #380
treiher added a commit that referenced this issue Aug 6, 2020
@treiher
Change message syntax
2111916 
Ref. #380
RecordFlux 0.5 automation moved this from Ready to Merged Aug 6, 2020
treiher added a commit that referenced this issue Aug 6, 2020
@treiher
Change message syntax
9dd8e6f 
Ref. #380
@treiher treiher mentioned this issue Aug 4, 2021
Closed
9 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@treiher treiher

Labels
specification Related to specification package (e.g., specification parsing)
Projects
No open projects
RecordFlux 0.5
  
Merged
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 380: Change message syntax AdaCore/RecordFlux
1 participant
@treiher