github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-15 10:02:27 +03:00
Code Issues Projects Releases Wiki Activity

convergingModules recurs on ValueRef now

Browse Source 
so we can remove address
This commit is contained in:
joshvera 2018-11-16 18:25:46 -05:00
parent edf444eff9
commit 4d9eafccb0
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/Analysis/Abstract/Caching/FlowSensitive.hs
View File

@ -91,8 +91,8 @@ convergingModules :: ( AbstractValue term address value m
, Carrier sig m
, Effect sig
)
=> (Module (Either prelude term) -> Evaluator term address value (AltC Maybe (Eff m)) (Address address))
-> (Module (Either prelude term) -> Evaluator term address value m (Address address))
=> (Module (Either prelude term) -> Evaluator term address value (AltC Maybe (Eff m)) (ValueRef address value))
-> (Module (Either prelude term) -> Evaluator term address value m (ValueRef address value))
convergingModules recur m@(Module _ (Left _)) = raiseHandler runNonDet (recur m) >>= maybeM empty
convergingModules recur m@(Module _ (Right term)) = do
c <- getConfiguration term
@ -107,7 +107,7 @@ convergingModules recur m@(Module _ (Right term)) = do
-- would never complete). We don’t need to use the values, so we 'gather' the
-- nondeterministic values into @()@.
withOracle prevCache (raiseHandler runNonDet (recur m)))
address =<< maybe empty scatter (cacheLookup c cache)
maybe empty scatter (cacheLookup c cache)
-- | Iterate a monadic action starting from some initial seed until the results converge.
--