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

Simplify the flow-insensitive carriers.

Browse Source
This commit is contained in:
Rob Rix 2018-10-22 12:57:39 -04:00
parent 56eae42043
commit 9021472361
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/Analysis/Abstract/Caching/FlowInsensitive.hs
View File

@ -137,15 +137,15 @@ getConfiguration term = Configuration term <$> askRoots <*> getEvalContext
caching :: (Carrier sig m, Effect sig)
=> Evaluator term address value (AltC []
(Evaluator term address value (ReaderC (Cache term address)
(Evaluator term address value (StateC (Cache term address)
(Evaluator term address value m)))))) a
=> Evaluator term address value (AltC [] (Eff
(ReaderC (Cache term address) (Eff
(StateC (Cache term address) (Eff
m)))))) a
-> Evaluator term address value m (Cache term address, [a])
caching
= runState lowerBound . runEvaluator
. runReader lowerBound . runEvaluator
. runNonDet . runEvaluator
= raiseHandler (runState lowerBound)
. raiseHandler (runReader lowerBound)
. raiseHandler runNonDet
-- | A map of 'Configuration's to 'Set's of resulting values & 'Heap's.