@@ -93,7 +93,14 @@ performUsageAnalysis = do
93 fmtItem (cond, deps) = indent $ show (S.toList cond) ++ " -> " ++ show (M.toList deps)
93 fmtItem (cond, deps) = indent $ show (S.toList cond) ++ " -> " ++ show (M.toList deps)
95 fmtUseMap :: [(Name, IntMap (Set Reason))] -> String
95 fmtUseMap :: [(Name, IntMap (Set Reason))] -> String
96− fmtUseMap = unlines . map (\(n,is) -> indent $ show n ++ " -> " ++ show (IM.toList is))
96+ fmtUseMap = unlines . map (\(n,is) -> indent $ show n ++ " -> " ++ fmtIxs is)
98+ fmtIxs :: IntMap (Set Reason) -> String
99+ fmtIxs = intercalate ", " . map fmtArg . IM.toList
102+ | S.null rs = show i
103+ | otherwise = show i ++ " from " ++ intercalate ", " (map show $ S.toList rs)
98 storeUsage :: Ctxt CGInfo -> (Name, IntMap (Set Reason)) -> Idris ()
105 storeUsage :: Ctxt CGInfo -> (Name, IntMap (Set Reason)) -> Idris ()
99 storeUsage cg (n, args)
106 storeUsage cg (n, args)