A raft of small changes associated with -XConstrainedClassMethods
[ghc.git] / testsuite / tests / module / mod39.stderr
1 \r
2 mod39.hs:3:17:\r
3     Constraint ‘Eq a’ in the type of ‘f’\r
4       constrains only the class type variables\r
5     Use ConstrainedClassMethods to allow it\r
6     When checking the class method: f :: forall a. (C a, Eq a) => a\r
7     In the class declaration for ‘C’\r