Commit 1153194c authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Clarify error message. See #9167.

parent 9e6c6b42
......@@ -2074,7 +2074,7 @@ classFunDepsErr cls
noClassTyVarErr :: Class -> SDoc -> SDoc
noClassTyVarErr clas what
= sep [ptext (sLit "The") <+> what,
ptext (sLit "mentions none of the type variables of the class") <+>
ptext (sLit "mentions none of the type or kind variables of the class") <+>
quotes (ppr clas <+> hsep (map ppr (classTyVars clas)))]
recSynErr :: [LTyClDecl Name] -> TcRn ()
......
T2888.hs:6:1:
The associated type ‘D’
mentions none of the type variables of the class ‘C w’
mentions none of the type or kind variables of the class ‘C w’
In the class declaration for ‘C’
T9167.hs:5:1:
The associated type ‘F’
mentions none of the type variables of the class ‘C a’
mentions none of the type or kind variables of the class ‘C a’
In the class declaration for ‘C’
tcfail116.hs:5:1:
The class method ‘bug’
mentions none of the type variables of the class ‘Foo a’
mentions none of the type or kind variables of the class ‘Foo a’
When checking the class method: bug :: ()
In the class declaration for ‘Foo’
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment