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

[FEATURE] Remove \subset, \supset, \supseteq #615

Closed
konnov opened this issue Mar 2, 2021 · 1 comment
Closed

[FEATURE] Remove \subset, \supset, \supseteq #615

konnov opened this issue Mar 2, 2021 · 1 comment
Assignees
@konnov
Labels
refactoring
Milestone
March iteration

Comments

@konnov
Copy link
Collaborator

konnov commented Mar 2, 2021

As we have learned from tlaplus/tlaplus#590, these operators are not standard. There is no need to support them anywhere in Apalache.
@konnov konnov added this to the March iteration milestone Mar 2, 2021
@konnov konnov self-assigned this Mar 2, 2021
@konnov konnov mentioned this issue Mar 19, 2021
Merged
9 tasks
@konnov
Copy link
Collaborator Author

konnov commented Mar 19, 2021

We should issue a warning in the parser, if somebody is defining and using such operators.

konnov added a commit that referenced this issue Mar 25, 2021
@konnov
close #615: remove subsetProper, supsetProper, supseteq
30838e7
@konnov konnov mentioned this issue Mar 25, 2021
Merged
4 tasks
@konnov konnov closed this as completed in 5312c25 Mar 25, 2021
This was referenced Mar 29, 2021
Closed
Merged
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@konnov konnov

Labels
refactoring
Projects
None yet
Milestone
March iteration
Development

No branches or pull requests
1 participant
@konnov