Class methods must always mention the class variable
As mentioned in ticket:7854#comment:96716, GHC wrongfully accepts the following program. It should reject it, because
op doesn't mention any type variables of
Foo (the method context doesn't count).
module ShouldFail where class Foo a where op :: Eq a => Int
I'm working on it.
|Component||Compiler (Type checker)|