Improve reporting of reachable postulates.
commit183169c9af458efcc1b7005352e7d6e29918954c
authorMatus Tejiscak <ziman@functor.sk>
dateThu 27 Mar 2014, 17:17 (13 years ago)
parentdd502ec
src/Idris/Erasure.hs+1−1
@@ -93,7 +93,7 @@ performUsageAnalysis = do
9393 -- Check that no postulates are reachable.
9494 reachablePostulates <- S.intersection reachableNames . idris_postulates <$> getIState
9595 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])
9797
9898 -- Store the usage info in the internal state.
9999 mapM_ (storeUsage cg) usage