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

Make thunks use the dynamic scope of the continuation jump site #35

Open
Mercerenies opened this issue May 25, 2018 · 1 comment
Open

Make thunks use the dynamic scope of the continuation jump site #35

Mercerenies opened this issue May 25, 2018 · 1 comment
Labels
enhancement

Comments

@Mercerenies
Copy link
Owner

Currently, the before and after methods of a thunk use the dynamic scope of the thunk call site, meaning that they effectively have a lexical closure of a dynamic scope. This behavior seems relatively unintuitive, and it would make more sense if the dynamic scope of the continuation jump site (the Cont object call, that is) were to be used instead.
@Mercerenies
Copy link
Owner Author

Care should be taken to ensure that it is actually the Cont call site that is cloned, not some internal exitCC# call.

Mercerenies added a commit that referenced this issue Jul 30, 2018
@Mercerenies
Beginnings of implementation of #35 behavior
da22bf7
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Mercerenies