@@ -93,7 +93,14 @@ performUsageAnalysis = do
9393 fmtItem (cond, deps) = indent $ show (S.toList cond) ++ " -> " ++ show (M.toList deps)
9494
9595 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)
97+
98+ fmtIxs :: IntMap (Set Reason) -> String
99+ fmtIxs = intercalate ", " . map fmtArg . IM.toList
100+ where
101+ fmtArg (i, rs)
102+ | S.null rs = show i
103+ | otherwise = show i ++ " from " ++ intercalate ", " (map show $ S.toList rs)
97104
98105 storeUsage :: Ctxt CGInfo -> (Name, IntMap (Set Reason)) -> Idris ()
99106 storeUsage cg (n, args)