github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-01 11:46:14 +03:00
Code Issues Projects Releases Wiki Activity

🔥 a bunch of parens.

Browse Source
This commit is contained in:
Rob Rix 2018-08-02 10:06:00 -04:00
parent f6be64d77d
commit 00da706837
1 changed files with 17 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
src/Semantic/REPL.hs
View File

@ -84,23 +84,23 @@ repl proxy parser lang paths = runTaskWithOptions debugOptions $ do
package <- fmap quieterm <$> parsePackage parser (Project (takeDirectory (maybe "/" fst (uncons paths))) blobs lang [])
modules <- topologicalSort <$> runImportGraphToModules proxy package
runEvaluator
(runTermEvaluator @_ @_ @(Value Precise (REPLEff Precise _))
(runState lowerBound
(runFresh 0
(fmap reassociate
(runLoadError
(runUnspecialized
(runEnvironmentError
(runEvalError
(runResolutionError
(runAddressError
(runValueError
(runREPL
(runReader (packageInfo package)
(runReader (lowerBound @Span)
(runReader (lowerBound @(ModuleTable (NonEmpty (Module (ModuleResult Precise)))))
(raiseHandler (runModules (ModuleTable.modulePaths (packageModules package)))
(evaluate proxy id (withTermSpans . step) (Concrete.runFunction coerce coerce) modules)))))))))))))))))
. runTermEvaluator @_ @_ @(Value Precise (REPLEff Precise _))
. runState lowerBound
. runFresh 0
. fmap reassociate
. runLoadError
. runUnspecialized
. runEnvironmentError
. runEvalError
. runResolutionError
. runAddressError
. runValueError
. runREPL
. runReader (packageInfo package)
. runReader (lowerBound @Span)
. runReader (lowerBound @(ModuleTable (NonEmpty (Module (ModuleResult Precise)))))
. raiseHandler (runModules (ModuleTable.modulePaths (packageModules package)))
$ evaluate proxy id (withTermSpans . step) (Concrete.runFunction coerce coerce) modules
step :: Member REPL effects
=> SubtermAlgebra (Base term) term (TermEvaluator term address value effects a)