on master help sign in
Fix forward chaining.
commit6fe5f156175e5f52eaf7028dd30a17f63334dc04 authorMatus Tejiscak <ziman@functor.sk> dateFri 24 Jan 2014, 15:59 (13 years ago) parent4561725
1 file changed+1−1
src/Idris/Erasure.hs+1−1
src/Idris/Erasure.hs+1−1
@@ -52,7 +52,7 @@ minimalUsage = gather . forwardChain
5252forwardChain :: Deps -> Set Node
5353forwardChain deps
5454 | 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)
5656 | otherwise = S.empty
5757 where
5858 -- Remove the given nodes from the Deps entirely,