@@ -364,7 +364,7 @@ pprintErr' i (CantResolve _ c e)
364pprintErr' i (InvalidTCArg n t)
364pprintErr' i (InvalidTCArg n t)
365 = annTm t (pprintTerm i (delabSugared i t)) <+> text " cannot be a parameter of "
365 = annTm t (pprintTerm i (delabSugared i t)) <+> text " cannot be a parameter of "
366 <> annName n <$>
366 <> annName n <$>
367− text "(Implementation arguments must be injective)"
367+ text "(Implementation arguments must be type or data constructors)"
368pprintErr' i (CantResolveAlts as) = text "Can't disambiguate name:" <+>
368pprintErr' i (CantResolveAlts as) = text "Can't disambiguate name:" <+>
369 align (cat (punctuate (comma <> space) (map (fmap (fancifyAnnots i True) . annName) as)))
369 align (cat (punctuate (comma <> space) (map (fmap (fancifyAnnots i True) . annName) as)))
370pprintErr' i (NoValidAlts as) = text "Can't disambiguate since no name has a suitable type:" <+>
370pprintErr' i (NoValidAlts as) = text "Can't disambiguate since no name has a suitable type:" <+>