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

Record Access for Expressions #5

Open
Isweet opened this issue Apr 6, 2018 · 0 comments
Open

Record Access for Expressions #5

Isweet opened this issue Apr 6, 2018 · 0 comments
Assignees
@Isweet
Labels
enhancement New feature or request

Comments

@Isweet
Copy link
Member

Isweet commented Apr 6, 2018 •
edited
Loading

Support expressions of the form <expr>.x. Currently, we only support the special case <id>.x which we can typecheck more precisely.

UPDATE: We should probably implement borrowing, or something similar. This would allow us to access affine record members temporarily without treating them "imperatively" (i.e. assigning a dummy value to the accessed field).
@Isweet Isweet added enhancement New feature or request icing labels Apr 6, 2018
@Isweet Isweet self-assigned this Apr 6, 2018
@Isweet Isweet removed the icing label Apr 6, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Isweet Isweet

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Isweet