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

Extract the fold over modules to the top level.

Browse Source
This commit is contained in:
Rob Rix 2018-10-25 13:47:07 -04:00
parent df10f93bcd
commit c625efd9c5
1 changed files with 12 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/Data/Abstract/Evaluatable.hs
View File

@ -145,13 +145,8 @@ evaluate lang analyzeModule analyzeTerm modules = do
(_, (preludeBinds, _)) <- runInModule lowerBound moduleInfoFromCallStack . runValue $ do
definePrelude lang
box unit
foldr (run preludeBinds) ask modules
where run preludeBinds m rest = do
evaluated <- runInModule preludeBinds (moduleInfo m)
(analyzeModule (runValue . evalTerm . moduleBody)
m)
-- FIXME: this should be some sort of Monoidal insert à la the Heap to accommodate multiple Go files being part of the same module.
local (ModuleTable.insert (modulePath (moduleInfo m)) ((evaluated <$ m) :| [])) rest
evaluateModules (run preludeBinds <$> modules)
where run preludeBinds m = (<$ m) <$> runInModule preludeBinds (moduleInfo m) (analyzeModule (runValue . evalTerm . moduleBody) m)
evalTerm = fix (analyzeTerm ((. project) . eval)) >=> address
@ -183,6 +178,16 @@ runInModule prelude info
. raiseHandler runInterpose
. raiseHandler runEavesdrop
evaluateModules :: ( Carrier sig m
, Member (Reader (ModuleTable (NonEmpty (Module (ModuleResult address))))) sig
)
=> [Evaluator term address value m (Module (ModuleResult address))]
-> Evaluator term address value m (ModuleTable (NonEmpty (Module (ModuleResult address))))
evaluateModules = foldr run ask
where run evaluator rest = do
evaluated <- evaluator
-- FIXME: this should be some sort of Monoidal insert à la the Heap to accommodate multiple Go files being part of the same module.
local (ModuleTable.insert (modulePath (moduleInfo evaluated)) (evaluated :| [])) rest
traceResolve :: (Show a, Show b, Member Trace sig, Carrier sig m) => a -> b -> Evaluator term address value m ()