@@ -27,7 +27,9 @@ import Idris.Core.CaseTree
2727
2828import Control.Monad.State
2929import Data.List
30+import qualified Data.IntMap as IM
3031import qualified Data.Map as M
32+import qualified Data.Set as S
3133import System.Process
3234import System.IO
3335import System.Directory
@@ -48,7 +50,10 @@ compile codegen f tm
4850 -- TODO: DEBUG-ONLY, remove
4951 ist <- getIState
5052 let usedF = findUsed (tt_ctxt ist) (idris_callgraph ist) used
51− iLOG $ "USAGE ANALYSIS:\n" ++ unlines (map show . M.toList $ usedF)
53+ let printCond (ctors, cond) = "if " ++ show (S.toList cond) ++ " -ctors- " ++ show (S.toList ctors)
54+ let printDep (i, conds) = unlines . map (" "++) $ (show i : map printCond (S.toList conds))
55+ let printItem (fn, deps) = unlines (show fn : map printDep (IM.toList deps))
56+ iLOG $ "USAGE ANALYSIS:\n" ++ unlines (map printItem . M.toList $ usedF)
5257 -- END TODO
5358
5459 maindef <- irMain tm