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