Multimorphic lambdas capture another lambda

This commit is contained in:
Ayaz Hafiz 2022-06-28 18:28:15 -04:00 committed by ayazhafiz
parent b69d538ea0
commit 28c1cf46a3
No known key found for this signature in database
GPG key ID: B443F7A3030C9AED
5 changed files with 175 additions and 63 deletions

View file

@ -6998,10 +6998,9 @@ mod solve_expr {
after : Lazy a, (a -> Lazy b) -> Lazy b
after = \effect, map ->
thunk = \{} ->
\{} ->
when map (effect {}) is
b -> b {}
thunk
f = \_ -> \_ -> ""
g = \{ s1 } -> \_ -> s1