mirror of
https://github.com/github/semantic.git
synced 2024-12-23 06:41:45 +03:00
Rewrite to see structure better
This commit is contained in:
parent
d310661503
commit
244b167992
@ -36,4 +36,5 @@ evaluate :: forall v term
|
|||||||
)
|
)
|
||||||
=> term
|
=> term
|
||||||
-> Final (Evaluating v) v
|
-> Final (Evaluating v) v
|
||||||
evaluate = run @(Evaluating v) . fix (\ recur yield -> eval recur yield . project) pure
|
evaluate = run @(Evaluating v) . fix go pure
|
||||||
|
where go recur yield = eval recur yield . project
|
||||||
|
Loading…
Reference in New Issue
Block a user