Skip to content

Use alloc_mode with uniqueness for block allocations in lambda #3116

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.

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

Draft
wants to merge 1 commit into
base: overwriting
Choose a base branch
from

Conversation

anfelor
Copy link
Contributor

@anfelor anfelor commented Oct 4, 2024

This PR tracks adding the alloc_mode back to lambda, this time with uniqueness information. I am still unsure about several bits in this PR and am sharing it so that we can discuss (perhaps in person) what is correct and what has to change. In particular:

  • Do we need an alloc_mode on lparam.mode and lfunction.ret_mode in lambda.mli?
  • Are all of the alloc_heap_aliased and alloc_local_aliased bindings below correct?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
lambda Lambda language changes uniqueness
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant