@@ -51,11 +51,11 @@ compile codegen f tm
5151
5252 -- TODO: DEBUG-ONLY, remove
5353 ist <- getIState
54− let usedF = findUsed (tt_ctxt ist) (idris_callgraph ist) used
54+ let depMap = buildDepMap (tt_ctxt ist) (idris_callgraph ist) used
5555 let printCond (ctors, cond) = "if " ++ show (S.toList cond) ++ " -ctors- " ++ show (S.toList ctors)
5656 let printDep (i, conds) = unlines . map (" "++) $ (show i : map printCond (S.toList conds))
5757 let printItem (fn, (deps, depns)) = unlines ((show fn ++ " <- " ++ show (S.toList depns)) : map printDep (IM.toList deps))
58− iLOG $ "USAGE ANALYSIS:\n" ++ unlines (map printItem . M.toList $ usedF)
58+ iLOG $ "USAGE ANALYSIS:\n" ++ unlines (map printItem . M.toList $ depMap)
5959 -- END TODO
6060
6161 maindef <- irMain tm