github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 00:33:59 +03:00
Code Issues Projects Releases Wiki Activity

Run Trace effects in the task effect.

Browse Source
This commit is contained in:
Rob Rix 2018-08-02 09:59:28 -04:00
parent a1df475bcf
commit 130a25d0d3
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
src/Semantic/REPL.hs
View File

@ -77,13 +77,13 @@ runREPL = interpret $ \case
getLine
Output s -> liftIO (putStrLn s)
rubyREPL = evaluatingREPL <=< repl (Proxy :: Proxy 'Language.Ruby) rubyParser Language.Ruby
rubyREPL = evaluatingREPL . repl (Proxy :: Proxy 'Language.Ruby) rubyParser Language.Ruby
evaluatingREPL
= runM
= runTaskWithOptions debugOptions
. runEvaluator
. runState lowerBound
. runFresh 0
. runPrintingTrace
. fmap reassociate
. runLoadError
. runUnspecialized
@ -93,17 +93,18 @@ evaluatingREPL
. runAddressError
. runValueError
repl proxy parser lang paths = runTaskWithOptions debugOptions $ do
repl proxy parser lang paths = Evaluator $ do
blobs <- catMaybes <$> traverse IO.readFile (flip File lang <$> paths)
package <- fmap quieterm <$> parsePackage parser (Project (takeDirectory (maybe "/" fst (uncons paths))) blobs lang [])
modules <- topologicalSort <$> runImportGraphToModules proxy package
pure (runTermEvaluator @_ @_ @(Value Precise (REPLEff Precise '[Lift IO]))
(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)))))))
runEvaluator
(runTermEvaluator @_ @_ @(Value Precise (REPLEff Precise _))
(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)
@ -138,7 +139,6 @@ newtype REPLEff address rest a = REPLEff
': Resumable (EnvironmentError address)
': Resumable (Unspecialized (Value address (REPLEff address rest)))
': Resumable (LoadError address)
': Trace
': Fresh
': State (Heap address Latest (Value address (REPLEff address rest)))
': rest