on master help sign in
Clean self-references from deps.
4aa5f8fMatus Tejiscak
src/Idris/Erasure.hs+1−1
@@ -68,7 +68,7 @@ findUsed ctx cg ns = dfs M.empty ns
68 | otherwise = dfs (M.insert n (deps, depn) dmap) ns
68 | otherwise = dfs (M.insert n (deps, depn) dmap) ns
69 where
69 where
70 next = [n | n <- S.toList depn, n `M.notMember` dmap]
70 next = [n | n <- S.toList depn, n `M.notMember` dmap]
71− depn = depNames deps
71+ depn = S.delete n (depNames deps)
72 deps = getDeps n
72 deps = getDeps n
73
73
74 depNames :: Deps -> Set Name
74 depNames :: Deps -> Set Name