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.

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

[WIP] Heap/Stack terms with different syntax #35

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Conversation

gares
Copy link
Contributor

@gares gares commented Aug 13, 2019

This could lead to some clarifications and maybe some optimizations to the runtime, and fix #30
For now the indirections are making some tests way slower, but it may just be that that I'm using smart constructors (for AppUvar and Const) while before I was using raw ones.
It seems impossible to finish the work on the runtime and not also do, at the same time, the much awaited cleanup of the runtime (un-sharing the code of move in order to make it more understandable).

This is WIP

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

Successfully merging this pull request may close these issues.

Discard should be turned into an uvar when moved to the heap
1 participant