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

Closure dynamics #1435

Closed

Negabinary wants to merge 2 commits into dev from closure-dynamics

Contributor

Negabinary commented Dec 5, 2024 •

edited

Loading

Fixes #1431

We create some new evaluation rules around closures:

We only remove closures if the expression inside has an empty co-context.
Since closures can remain in final expressions, we augment unboxing rules and cast calculus rules to deal with these

While we're at it we also

remove the function closure argument in favor of just having functions wrapped in a closure.

Negabinary added 2 commits

December 5, 2024 12:18


          remove req-value

4bf139a


          Trampoline Evaluator

e08b269

Negabinary mentioned this pull request

Fix Generalized Closures #1453

Open

Contributor Author

Negabinary commented Jan 8, 2025

Closed in favour of #1453

Negabinary closed this

Negabinary deleted the closure-dynamics branch

January 8, 2025 06:56

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet