Clean self-references from deps.
commit4aa5f8fd85de03672d9c9208e2c27f86c6819ccb
authorMatus Tejiscak <ziman@functor.sk>
dateThu 23 Jan 2014, 16:25 (13 years ago)
parent06e0bb9
src/Idris/Erasure.hs+1−1
@@ -68,7 +68,7 @@ findUsed ctx cg ns = dfs M.empty ns
6868 | otherwise = dfs (M.insert n (deps, depn) dmap) ns
6969 where
7070 next = [n | n <- S.toList depn, n `M.notMember` dmap]
71− depn = depNames deps
71+ depn = S.delete n (depNames deps)
7272 deps = getDeps n
7373
7474 depNames :: Deps -> Set Name