github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 18:06:14 +03:00
Code Issues Projects Releases Wiki Activity

Swap the order of the BadVariables effects.

Browse Source
This commit is contained in:
Rob Rix 2018-04-24 18:39:01 -04:00
parent 25af1cfcaa
commit 68b748139d
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Analysis/Abstract/BadVariables.hs
View File

@ -20,7 +20,7 @@ instance ( Effectful m
, MonadValue location value effects (BadVariables m)
)
=> MonadAnalysis location term value effects (BadVariables m) where
type Effects location term value (BadVariables m) = State [Name] ': Resumable (EvalError value) ': Effects location term value m
type Effects location term value (BadVariables m) = Resumable (EvalError value) ': State [Name] ': Effects location term value m
analyzeTerm eval term = resume @(EvalError value) (liftAnalyze analyzeTerm eval term) (
\yield err -> do

2
src/Semantic/Graph.hs
View File

@ -91,5 +91,5 @@ graphImports package = analyze (Analysis.SomeAnalysis (Analysis.evaluatePackage
asAnalysisForTypeOfPackage = const
extractGraph result = case result of
(Right (Right (Right (Right (Right (Right (Right (Right (Right (_, graph)), _))))))), _) -> pure $! graph
(Right (Right (Right (Right (Right (Right (Right (Right (Right (_, graph))), _)))))), _) -> pure $! graph
_ -> throwError (toException (Exc.ErrorCall ("graphImports: import graph rendering failed " <> show result)))