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

Type-check expressions #87

Closed
senier opened this issue Nov 5, 2019 · 0 comments · Fixed by #440
Closed

Type-check expressions #87

senier opened this issue Nov 5, 2019 · 0 comments · Fixed by #440
Assignees
@treiher
Projects
RecordFlux 0.5

Comments

@senier
Copy link
Member

senier commented Nov 5, 2019

Currently we do not check whether variables and literals used in expressions fit together at the specification level. Consequently, some type mismatches cannot be detected, e.g. when comparing a field of one enumeration type to a literal to a different, incompatible enumeration type. To fix this, we need to implement type inference for expressions.
@senier senier added this to To do in RecordFlux Future via automation Nov 5, 2019
@senier senier mentioned this issue Nov 5, 2019
Closed
@senier senier mentioned this issue Jul 9, 2020
Merged
@treiher treiher mentioned this issue Aug 7, 2020
Closed
@senier senier added this to To do in RecordFlux 0.5 via automation Aug 19, 2020
@senier senier removed this from To do in RecordFlux Future Aug 19, 2020
@treiher treiher self-assigned this Sep 1, 2020
@treiher treiher moved this from To do to In progress in RecordFlux 0.5 Sep 1, 2020
@treiher treiher moved this from In progress to Done in RecordFlux 0.5 Sep 11, 2020
treiher added a commit that referenced this issue Sep 11, 2020
@treiher
Fix expressions in tests
cb4882c 
Ref. #87
treiher added a commit that referenced this issue Sep 11, 2020
@treiher
Add type system
55f77b6 
Ref. #87
treiher added a commit that referenced this issue Sep 11, 2020
@treiher
Add type checking of expressions
ac5b4c5 
Ref. #87
treiher added a commit that referenced this issue Sep 11, 2020
@treiher
Fix expression substitution
8d4ecbe 
Preserve the locations of expressions during substitution and enable the
substitution of an entire expression, if not already supported.

Ref. #87
treiher added a commit that referenced this issue Sep 11, 2020
@treiher
Add type checking to messages
89e291c 
Ref. #87
@treiher treiher mentioned this issue Sep 11, 2020
Merged
RecordFlux 0.5 automation moved this from Done to Merged Sep 11, 2020
treiher added a commit that referenced this issue Sep 11, 2020
@treiher
Fix expressions in tests
2981fe4 
Ref. #87
treiher added a commit that referenced this issue Sep 11, 2020
@treiher
Add type system
e182ce4 
Ref. #87
treiher added a commit that referenced this issue Sep 11, 2020
@treiher
Add type checking of expressions
5eddf26 
Ref. #87
treiher added a commit that referenced this issue Sep 11, 2020
@treiher
Fix expression substitution
8bf2ffe 
Preserve the locations of expressions during substitution and enable the
substitution of an entire expression, if not already supported.

Ref. #87
treiher added a commit that referenced this issue Sep 11, 2020
@treiher
Add type checking to messages
2b90fa9 
Ref. #87
@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
None yet
Projects
No open projects
RecordFlux 0.5
  
Merged
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 87: Type-check expressions AdaCore/RecordFlux
2 participants
@senier @treiher