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-sensitive carriers.

Browse Source
This commit is contained in:
Rob Rix 2018-10-22 12:57:46 -04:00
parent 9021472361
commit 4338e5b5b9
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/FlowSensitive.hs
View File

@ -135,15 +135,15 @@ getConfiguration term = Configuration term <$> askRoots <*> getEvalContext <*> g
caching :: (Carrier sig m, Effect sig)
=> Evaluator term address value (AltC []
(Evaluator term address value (ReaderC (Cache term address value)
(Evaluator term address value (StateC (Cache term address value)
(Evaluator term address value m)))))) a
=> Evaluator term address value (AltC [] (Eff
(ReaderC (Cache term address value) (Eff
(StateC (Cache term address value) (Eff
m)))))) a
-> Evaluator term address value m (Cache term address value, [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.