220f400 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Fix error messages for interfaces

commit220f400ad4bc1455e29b66393afc614adbf52a77 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateTue 19 Jan 2016, 00:19 (11 years ago) parentdbfc357

2 files changed+3−3

unifiedsplit

src/Idris/Delaborate.hs+2−2

@@ -346,11 +346,11 @@ pprintErr' i (NotInjective p x y) =

346346 text "Can't verify injectivity of" <+> annTm p (pprintTerm i (delabSugared i p)) <+>

347347 text " when unifying" <+> annTm x (pprintTerm i (delabSugared i x)) <+> text "and" <+>

348348 annTm y (pprintTerm i (delabSugared i y))

349−pprintErr' i (CantResolve _ c) = text "Can't resolve type class" <+> pprintTerm i (delabSugared i c)

349+pprintErr' i (CantResolve _ c) = text "Can't find implementation for" <+> pprintTerm i (delabSugared i c)

350350pprintErr' i (InvalidTCArg n t)

351351 = annTm t (pprintTerm i (delabSugared i t)) <+> text " cannot be a parameter of "

352352 <> annName n <$>

353− text "(Type class arguments must be injective)"

353+ text "(Implementation arguments must be injective)"

354354pprintErr' i (CantResolveAlts as) = text "Can't disambiguate name:" <+>

355355 align (cat (punctuate (comma <> space) (map (fmap (fancifyAnnots i True) . annName) as)))

356356pprintErr' i (NoValidAlts as) = text "Can't disambiguate since no name has a suitable type:" <+>

test/interactive010/expected+1−1

@@ -17,4 +17,4 @@ pat {ty504} : Type u. pat {__class505} : Prelude.Classes.Fractional {ty504}. Pre

1717 end of input

1818++<EOF>

1919^

20−Can't resolve type class Fractional ty

20+Can't find implementation for Fractional ty