@@ -93,7 +93,7 @@ performUsageAnalysis = do
93 -- Check that no postulates are reachable.
93 -- Check that no postulates are reachable.
94 reachablePostulates <- S.intersection reachableNames . idris_postulates <$> getIState
94 reachablePostulates <- S.intersection reachableNames . idris_postulates <$> getIState
95 when (not . S.null $ reachablePostulates)
95 when (not . S.null $ reachablePostulates)
96− $ ifail ("reachable postulates: " ++ (show $ S.toList reachablePostulates))
96+ $ ifail ("reachable postulates:\n" ++ intercalate "\n" [" " ++ show n | n <- S.toList reachablePostulates])
98 -- Store the usage info in the internal state.
98 -- Store the usage info in the internal state.
99 mapM_ (storeUsage cg) usage
99 mapM_ (storeUsage cg) usage