@@ -104,10 +104,9 @@ performUsageAnalysis = do
104 | [Optimise col nt forc rec inaccessible] <- lookupCtxt n opt
104 | [Optimise col nt forc rec inaccessible] <- lookupCtxt n opt
105 = let collision = IS.fromList inaccessible `IS.intersection` reachable
105 = let collision = IS.fromList inaccessible `IS.intersection` reachable
106 in unless (IS.null collision) . ifail . concat $
106 in unless (IS.null collision) . ifail . concat $
107− [ "Erasure checker: in function "
108− , show n
107+ [ show n
109 , ": inaccessible arguments reachable: "
108 , ": inaccessible arguments reachable: "
110− , show (IS.toList collision)
109+ , intercalate ", " . map show $ IS.toList collision
113 | otherwise = return ()
112 | otherwise = return ()