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

Meta issue for syntax improvements in Pulse #139

Open
3 tasks done
aseemr opened this issue Dec 18, 2023 · 1 comment
Open
3 tasks done

Meta issue for syntax improvements in Pulse #139

aseemr opened this issue Dec 18, 2023 · 1 comment
Labels
pulse Issues related to the Pulse separation logic DSL syntax

Comments

@aseemr
Copy link
Collaborator

aseemr commented Dec 18, 2023 •
edited by nikswamy
Loading

  • fn (p:int -> int) ... doesn't parse, it has to be written as fn (p:(int -> int)) ... (note the extra parenthesis around the arrow)
  • let _ : t = e; doesn't parse, it has to be written as let _u : t = e
  • refinement types annotation x:int { p x } doesn't work, it has to be written as x:(x:int { p x })
@aseemr aseemr added pulse Issues related to the Pulse separation logic DSL syntax labels Dec 18, 2023
@nikswamy
Copy link
Collaborator

Fixed in 5c18b71

nikswamy added a commit that referenced this issue Dec 19, 2023
@nikswamy
fixing parser issues noted in #139
5c18b71
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
pulse Issues related to the Pulse separation logic DSL syntax
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@aseemr @nikswamy