blob: 50a2793add5e9c0212ffcfadbc824ed96e99e8a7 (
plain)
1
2
3
4
5
6
7
8
|
tcfail150.hs:7:3: error:
• Constraint ‘Eq a’ in the type of ‘op’
constrains only the class type variables
Enable ConstrainedClassMethods to allow it
• When checking the class method:
op :: forall a. (Foo a, Eq a) => a -> a
In the class declaration for ‘Foo’
|