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

Preserving order of types and sessions in model #1076

Closed
treiher opened this issue Jun 16, 2022 · 1 comment
Closed

Preserving order of types and sessions in model #1076

treiher opened this issue Jun 16, 2022 · 1 comment
Labels
bug model Related to model package (e.g., model verification) small Effort of one person-day or less

Comments

@treiher
Copy link
Collaborator

treiher commented Jun 16, 2022

As Model stores types and session in two separate lists, the order of type declarations and session declarations is lost when parsing a specification. Consequently, the specification generated from a model will not be equal to the original specification, if types are declared after a session, or types and sessions are mixed. One option would be changing the model, another prohibiting the declaration of types after a session declaration.

@treiher treiher added bug model Related to model package (e.g., model verification) labels Jun 16, 2022
@treiher treiher added this to To do in RecordFlux 0.7 via automation Jun 16, 2022
@senier senier removed this from To do in RecordFlux 0.7 Aug 23, 2022
@senier senier added this to To do in RecordFlux Future via automation Aug 23, 2022
@senier senier added the small Effort of one person-day or less label Oct 4, 2022
@senier senier removed this from Medium in RecordFlux Future Oct 4, 2022
@senier senier added this to To do in RecordFlux 0.7.1 via automation Oct 4, 2022
@senier senier removed this from To do in RecordFlux 0.7.1 Nov 1, 2022
@senier senier added this to To do in RecordFlux 0.8 via automation Nov 1, 2022
@treiher treiher removed this from To do in RecordFlux 0.8 Nov 4, 2022
@treiher treiher added this to Medium in RecordFlux Future via automation Nov 4, 2022
@senier senier removed this from Medium in RecordFlux Future Nov 29, 2022
@senier senier added this to To do in RecordFlux 2023-01-06 via automation Nov 29, 2022
@senier senier added this to To do in RecordFlux 2023-02-24 via automation Jan 3, 2023
@senier senier removed this from To do in RecordFlux 2023-01-06 Jan 3, 2023
@treiher
Copy link
Collaborator Author

treiher commented May 24, 2023

The issue is fixed in RecordFlux 0.10.0.

@treiher treiher closed this as completed May 24, 2023
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) small Effort of one person-day or less
Projects
No open projects
Development

No branches or pull requests

2 participants