Skip to content

Conversation

@elegios
Copy link
Contributor

@elegios elegios commented May 16, 2025

This PR makes the alternate mode of lamlift.mc (that allows implicit capture of values bound along the spine) slightly more configurable: the user can now pass a predicate that looks at the body and type of the binding to determine whether it should be allowed to be implicitly captured or not.

@david-broman david-broman merged commit e7156f4 into miking-lang:develop Jun 2, 2025
1 of 2 checks passed
@elegios elegios deleted the more-flexible-lamlift branch September 18, 2025 11:36
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.

2 participants