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

Extend arrow declarations with semantic components #37

Closed
vvergu opened this issue May 24, 2016 · 1 comment
Closed

Extend arrow declarations with semantic components #37

vvergu opened this issue May 24, 2016 · 1 comment
Labels
enhancement front-end H ir
Milestone
Improved usability

Comments

@vvergu
Copy link
Member

vvergu commented May 24, 2016

Post-analysis arrow declarations should be annotated with the semantic components that are associated with an arrow.
@vvergu vvergu added this to the Improved usability milestone May 24, 2016
@vvergu
Copy link
Member Author

vvergu commented May 24, 2016

The syntax for the richer arrow declarations will be:

arrows
   Env |- Expr :: Heap --> V :: Heap

vvergu added a commit that referenced this issue May 24, 2016
@vvergu
Extend the syntax of the arrow declarations to allow for optional sem…
eba9e0d 
…antic components declarations. Explication now makes the arrow declarations richer. #37
@vvergu vvergu closed this as completed in 47b6097 May 24, 2016
vvergu added a commit that referenced this issue May 24, 2016
@vvergu
Merge branch 'features/rich-arrow-decls'
821bac5 
* features/rich-arrow-decls:
  Allow optional semantic components on the declarations of the default arrow as well. Closes #37.
  Extend the syntax of the arrow declarations to allow for optional semantic components declarations. Explication now makes the arrow declarations richer. #37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement front-end H ir
Projects
None yet
Milestone
Improved usability
Development

No branches or pull requests
1 participant
@vvergu