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] preprocess e \in STRING #603

Closed
konnov opened this issue Feb 24, 2021 · 1 comment
Closed

[FEATURE] preprocess e \in STRING #603

konnov opened this issue Feb 24, 2021 · 1 comment
Assignees
@konnov
Labels
Fprepro Feature: TLA+ preprocessor usability UX improvements
Milestone
July iteration

Comments

@konnov
Copy link
Collaborator

konnov commented Feb 24, 2021

Currently, a membership test e \in STRING is rejected by one of the preprocessing steps. Once we have the new type checker in place, we can statically check the type of e and rewrite e \in STRING as a Boolean literal.

Related to the discussion in #600.
@konnov konnov added new New issue to be triaged. usability UX improvements labels Feb 24, 2021
@konnov konnov added this to the March iteration milestone Feb 24, 2021
@konnov konnov self-assigned this Feb 24, 2021
@konnov konnov added the Fprepro Feature: TLA+ preprocessor label Feb 24, 2021
@konnov konnov added Alpha Centauri The first public alpha release and removed new New issue to be triaged. labels Mar 25, 2021
@konnov konnov removed the Alpha Centauri The first public alpha release label Dec 3, 2021
@konnov
Copy link
Collaborator Author

konnov commented Jan 31, 2022

Subsumed by #723

@konnov konnov closed this as completed Jan 31, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@konnov konnov

Labels
Fprepro Feature: TLA+ preprocessor usability UX improvements
Projects
None yet
Milestone
July iteration
Development

No branches or pull requests
2 participants
@konnov @shonfeder