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

Define evaluateProject in terms of evaluateProject'.

Browse Source
This commit is contained in:
Rob Rix 2018-07-10 14:11:20 -04:00
parent 40d46e921d
commit d26c6be061
1 changed files with 5 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/Semantic/Util.hs
View File

@ -32,7 +32,7 @@ import Semantic.Config
import Semantic.Graph
import Semantic.IO as IO
import Semantic.Task
import Semantic.Telemetry (LogQueue, StatQueue)
import Semantic.Telemetry (LogQueue, StatQueue, TelemetryQueues(..))
import System.Exit (die)
import System.FilePath.Posix (takeDirectory)
import Text.Show (showListWith)
@ -103,17 +103,10 @@ evalTypeScriptProject = justEvaluating <=< evaluateProject (Proxy :: Proxy 'Lang
typecheckGoFile = checking <=< evaluateProjectWithCaching (Proxy :: Proxy 'Language.Go) goParser Language.Go
-- Evaluate a project consisting of the listed paths.
evaluateProject proxy parser lang paths = runTaskWithOptions debugOptions $ do
blobs <- catMaybes <$> traverse readFile (flip File lang <$> paths)
package <- fmap quieterm <$> parsePackage parser (Project (takeDirectory (maybe "/" fst (uncons paths))) blobs lang [])
modules <- topologicalSort <$> runImportGraph proxy package
trace $ "evaluating with load order: " <> show (map (modulePath . moduleInfo) modules)
pure (runTermEvaluator @_ @_ @(Value Precise (UtilEff Precise))
(runReader (packageInfo package)
(runReader (lowerBound @Span)
(runReader (lowerBound @(ModuleTable (NonEmpty (Module (Environment Precise, Precise)))))
(raiseHandler (runModules (ModuleTable.modulePaths (packageModules package)))
(evaluate proxy id withTermSpans modules))))))
evaluateProject proxy parser lang paths = do
config <- defaultConfig debugOptions
withTelemetry config $ \(TelemetryQueues logger statter _) ->
evaluateProject' (TaskConfig config logger statter) proxy parser lang paths
data TaskConfig = TaskConfig Config LogQueue StatQueue