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

Use ValueEffects in ImportGraphEff.

Browse Source
This commit is contained in:
Rob Rix 2018-08-15 11:32:57 -04:00
parent 263b068984
commit c04fc7d048
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Semantic/Graph.hs
View File

@ -194,8 +194,8 @@ runImportGraph lang (package :: Package term) f =
in extractGraph <$> runEvaluator (runImportGraphAnalysis (evaluate lang analyzeModule id runAddressEffects (Concrete.runFunction coerce coerce) (ModuleTable.toPairs (packageModules package) >>= toList . snd)))
newtype ImportGraphEff address outerEffects a = ImportGraphEff
{ runImportGraphEff :: Eff ( Function address (Value address (ImportGraphEff address outerEffects))
': Exc (LoopControl address)
{ runImportGraphEff :: Eff ( ValueEffects address (Value address (ImportGraphEff address outerEffects))
( Exc (LoopControl address)
': Exc (Return address)
': Env address
': Deref (Value address (ImportGraphEff address outerEffects))
@ -216,7 +216,7 @@ newtype ImportGraphEff address outerEffects a = ImportGraphEff
': Fresh
': State (Heap address (Value address (ImportGraphEff address outerEffects)))
': outerEffects
) a
)) a
}