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

🔥 redundant calls to toList.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 15:27:05 -05:00
parent 10b7ce1ff3
commit de2b346e14
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Analysis/Abstract/Caching.hs
View File

@ -22,7 +22,6 @@ import Data.Abstract.Eval
import Data.Abstract.Live
import Data.Abstract.Store
import Data.Abstract.Value
import Data.Foldable
import Data.Function (fix)
import Data.Functor.Foldable (Base, Recursive(..))
import Data.Maybe
@ -96,7 +95,7 @@ evCache ev0 ev' yield e = do
case cacheLookup c out of
Just pairs -> foldMapA (\ (value, store') -> do
putStore store'
pure value) (toList pairs)
pure value) pairs
Nothing -> do
in' <- askCache
let pairs = fromMaybe mempty (cacheLookup c in')
@ -131,7 +130,7 @@ fixCache ev' yield e = do
getCache) mempty
maybe empty (foldMapA (\ (value, store') -> do
putStore store'
pure value) . toList) (cacheLookup c cache)
pure value)) (cacheLookup c cache)
-- | Compute the Kleene fixed-point theorem in a monadic context.