@@ -344,7 +344,7 @@ pprintErr' i (InvalidTCArg n t)
344 text "(Type class arguments must be injective)"
344 text "(Type class arguments must be injective)"
345pprintErr' i (CantResolveAlts as) = text "Can't disambiguate name:" <+>
345pprintErr' i (CantResolveAlts as) = text "Can't disambiguate name:" <+>
346 align (cat (punctuate (comma <> space) (map (fmap (fancifyAnnots i True) . annName) as)))
346 align (cat (punctuate (comma <> space) (map (fmap (fancifyAnnots i True) . annName) as)))
347−pprintErr' i (NoValidAlts as) = text "Can't disambiguate since no alternative is valid:" <+>
347+pprintErr' i (NoValidAlts as) = text "Can't disambiguate since no name has a suitable type:" <+>
348 indented (align (cat (punctuate (comma <> space) (map (fmap (fancifyAnnots i True) . annName) as))))
348 indented (align (cat (punctuate (comma <> space) (map (fmap (fancifyAnnots i True) . annName) as))))
349pprintErr' i (NoTypeDecl n) = text "No type declaration for" <+> annName n
349pprintErr' i (NoTypeDecl n) = text "No type declaration for" <+> annName n
350pprintErr' i (NoSuchVariable n) = text "No such variable" <+> annName n
350pprintErr' i (NoSuchVariable n) = text "No such variable" <+> annName n