mirror of
https://github.com/github/semantic.git
synced 2025-01-08 08:30:27 +03:00
Simplify the wrapping/unwrapping.
This commit is contained in:
parent
e92c689139
commit
94dd99c223
@ -110,7 +110,7 @@ evaluate lang analyzeModule analyzeTerm modules = do
|
||||
. analyzeModule (subtermRef . moduleBody)
|
||||
$ evalTerm <$> m
|
||||
|
||||
evalTerm term = Subterm term (TermEvaluator (address =<< runTermEvaluator (foldSubterms (analyzeTerm (TermEvaluator . eval . fmap (second runTermEvaluator))) term)))
|
||||
evalTerm term = Subterm term (foldSubterms (analyzeTerm (TermEvaluator . eval . fmap (second runTermEvaluator))) term >>= TermEvaluator . address)
|
||||
|
||||
runInModule preludeEnv info
|
||||
= runReader info
|
||||
|
Loading…
Reference in New Issue
Block a user