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

Map domain and range restrictions are over-constrained #776

Open
nickbattle opened this issue Mar 2, 2021 · 1 comment
Open

Map domain and range restrictions are over-constrained #776

nickbattle opened this issue Mar 2, 2021 · 1 comment
Assignees
@nickbattle
Labels
bug Incorrect behaviour of the tool language Issues in parser, TC, interpreter, POG or CG Mergable A fix is available on a branch to merge for release

Comments

@nickbattle
Copy link
Contributor

The set passed to <:, <-:, :-> and :> operators can be of an arbitrary type. The operator does not have to succeed in limiting the map - it may be that no entries in the set match the map or the set may be empty. Currently the 3.0.3 type checker is over-constraining these set values to match the type of the map that they are operating on. This was fixed in VDMJ at some point, but Overture missed it.
@nickbattle nickbattle added bug Incorrect behaviour of the tool language Issues in parser, TC, interpreter, POG or CG labels Mar 2, 2021
@nickbattle nickbattle self-assigned this Mar 2, 2021
nickbattle added a commit that referenced this issue Mar 2, 2021
@nickbattle
Remove set type constraint for map dom/rng restrictions, fixes #776
9dff2bb
@nickbattle nickbattle added the Mergable A fix is available on a branch to merge for release label Mar 2, 2021
@nickbattle
Copy link
Contributor Author

Now fixed in ncb/development.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nickbattle nickbattle

Labels
bug Incorrect behaviour of the tool language Issues in parser, TC, interpreter, POG or CG Mergable A fix is available on a branch to merge for release
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@nickbattle