github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-14 17:31:48 +03:00
Code Issues Projects Releases Wiki Activity

Note why the lazy pattern match.

Browse Source
This commit is contained in:
Rob Rix 2018-12-10 12:09:11 -05:00
parent 7688f05e7f
commit 65cb08bc35
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Semantic/Analysis.hs
View File

@ -145,4 +145,5 @@ evalTerm :: ( Carrier sig m
)
=> Open (term -> Evaluator term address value m value)
-> term -> Evaluator term address value m value
-- NB: We use a lazy pattern match for the lambda’s argument to postpone evaluating the pair until eval/ref is called.
evalTerm perTerm = fst (fix (\ ~(ev, re) -> (perTerm (eval ev re . project), ref ev re . project)))