git.iko.soy/Idris-dev
on master help sign in
Reword disambiguation error message
commit570a4525442ccad82afd6f14d2d18518f0e7c4e9 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSat 18 Jul 2015, 17:27 (11 years ago) parent60f85ef
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/Delaborate.hs+1−1
src/Idris/Delaborate.hs+1−1
@@ -344,7 +344,7 @@ pprintErr' i (InvalidTCArg n t)
344344 text "(Type class arguments must be injective)"
345345pprintErr' i (CantResolveAlts as) = text "Can't disambiguate name:" <+>
346346 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:" <+>
348348 indented (align (cat (punctuate (comma <> space) (map (fmap (fancifyAnnots i True) . annName) as))))
349349pprintErr' i (NoTypeDecl n) = text "No type declaration for" <+> annName n
350350pprintErr' i (NoSuchVariable n) = text "No such variable" <+> annName n