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

Raise the Eff handlers to Evaluator.

Browse Source
This commit is contained in:
Rob Rix 2018-10-23 12:04:45 -04:00
parent 670f65190c
commit 8b945859f3
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/Semantic/Util.hs
View File

@ -101,9 +101,9 @@ evaluateProject' (TaskConfig config logger statter) proxy parser paths = either
pure (id @(Evaluator _ Precise (Value _ Precise) _ _)
(runModuleTable
(runModules (ModuleTable.modulePaths (packageModules package))
(runReader (packageInfo package)
(runState (lowerBound @Span)
(runReader (lowerBound @Span)
(raiseHandler (runReader (packageInfo package))
(raiseHandler (runState (lowerBound @Span))
(raiseHandler (runReader (lowerBound @Span))
(evaluate proxy id withTermSpans modules)))))))
evaluatePythonProjects proxy parser lang path = runTaskWithOptions debugOptions $ do
@ -114,9 +114,9 @@ evaluatePythonProjects proxy parser lang path = runTaskWithOptions debugOptions
pure (id @(Evaluator _ Precise (Value _ Precise) _ _)
(runModuleTable
(runModules (ModuleTable.modulePaths (packageModules package))
(runReader (packageInfo package)
(runState (lowerBound @Span)
(runReader (lowerBound @Span)
(raiseHandler (runReader (packageInfo package))
(raiseHandler (runState (lowerBound @Span))
(raiseHandler (runReader (lowerBound @Span))
(evaluate proxy id withTermSpans modules)))))))
@ -124,9 +124,9 @@ evaluateProjectWithCaching proxy parser path = runTaskWithOptions debugOptions $
project <- readProject Nothing path (Language.reflect proxy) []
package <- fmap (quieterm . snd) <$> parsePackage parser project
modules <- topologicalSort <$> runImportGraphToModules proxy package
pure (runReader (packageInfo package)
(runState (lowerBound @Span)
(runReader (lowerBound @Span)
pure (raiseHandler (runReader (packageInfo package))
(raiseHandler (runState (lowerBound @Span))
(raiseHandler (runReader (lowerBound @Span))
(runModuleTable
(runModules (ModuleTable.modulePaths (packageModules package))
(evaluate proxy id withTermSpans modules))))))