testsuite/tests/module/mod39.stderr


1
2
3
4
5
6
7


mod39.hs:3:17:
    Constraint ‘Eq a’ in the type of ‘f’
      constrains only the class type variables
    Use ConstrainedClassMethods to allow it
    When checking the class method: f :: forall a. (C a, Eq a) => a
    In the class declaration for ‘C’