git.iko.soy/Idris-dev
on master help sign in
Fix forward chaining.
6fe5f15Matus Tejiscak
src/Idris/Erasure.hs+1−1
compare with master
unifiedsplit
@@ -52,7 +52,7 @@ minimalUsage = gather . forwardChain
52forwardChain :: Deps -> Set Node
52forwardChain :: Deps -> Set Node
53forwardChain deps
53forwardChain deps
54 | Just trivials <- M.lookup S.empty deps
54 | Just trivials <- M.lookup S.empty deps
55− = trivials `S.union` forwardChain (remove trivials deps)
55+ = trivials `S.union` forwardChain (remove trivials . M.delete S.empty $ deps)
56 | otherwise = S.empty
56 | otherwise = S.empty
57 where
57 where
58 -- Remove the given nodes from the Deps entirely,
58 -- Remove the given nodes from the Deps entirely,