ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 22:47:12 +03:00
Code Issues Projects Releases Wiki Activity

Reword disambiguation error message

Browse Source
This commit is contained in:
Edwin Brady 2015-07-18 17:27:40 +01:00
parent 60f85ef82b
commit 570a452544
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Idris/Delaborate.hs
View File

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