on master help sign in
Make sure all names get traversed.
commit03b93c1f2e5eddbf6e7645445633d21c23453e7c authorMatus Tejiscak <ziman@functor.sk> dateFri 24 Jan 2014, 19:45 (13 years ago) parent8022aad
1 file changed+3−1
src/Idris/Erasure.hs+3−1
src/Idris/Erasure.hs+3−1
@@ -101,7 +101,9 @@ buildDepMap ctx ns = addMain $ dfs S.empty M.empty ns
101101 -- extract all names that a function depends on
102102 -- from the Deps of the function
103103 depNames :: Deps -> Set Name
104− depNames = S.unions . map (S.map fst) . M.keys
104+ depNames = S.unions . map names . M.toList
105+ where
106+ names (cs, ns) = S.map fst cs `S.union` S.map fst ns
105107
106108 -- get Deps for a Name
107109 getDeps :: Name -> Deps