github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 05:11:44 +03:00
Code Issues Projects Releases Wiki Activity

Move resumingBadSyntax into Semantic.Graph.

Browse Source
This commit is contained in:
Rob Rix 2018-05-06 17:06:55 -04:00
parent 55997e5c60
commit f953f2e2a1
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Semantic/Graph.hs
View File

@ -2,7 +2,6 @@
module Semantic.Graph where
import Analysis.Abstract.BadAddresses
import Analysis.Abstract.BadSyntax
import Analysis.Abstract.BadValues
import Analysis.Abstract.Evaluating
import Analysis.Abstract.ImportGraph
@ -87,7 +86,7 @@ importGraphAnalysis
= run
. evaluating
. runLoadError
. resumingBadSyntax
. resumingUnspecialized
. resumingBadValues
. resumingEvalError
. resumingResolutionError
@ -112,6 +111,9 @@ resumingEvalError
FreeVariableError name -> raise (modify' (name :)) *> pure hole
FreeVariablesError names -> raise (modify' (names <>)) *> pure (fromMaybeLast "unknown" names))
resumingUnspecialized :: AbstractHole value => Evaluator location term value (Resumable (Unspecialized value) ': effects) a -> Evaluator location term value effects a
resumingUnspecialized = runUnspecializedWith (\ err@(Unspecialized _) -> traceM ("Unspecialized:" <> show err) *> pure hole)
-- | Render the import graph for a given 'Package'.
graphImports :: ( Show ann
, Apply Declarations1 syntax

3
src/Semantic/Util.hs
View File

@ -3,7 +3,6 @@
module Semantic.Util where
import Analysis.Abstract.BadAddresses
import Analysis.Abstract.BadSyntax
import Analysis.Abstract.BadValues
import Analysis.Abstract.Caching
import Analysis.Abstract.Collecting
@ -41,7 +40,7 @@ evaluatingWithHoles
= run
. evaluating
. runLoadError
. resumingBadSyntax @(Value Precise)
. resumingUnspecialized
. resumingBadValues @(Value Precise)
. resumingEvalError
. resumingResolutionError