blob: c1f1c8605d374baa953c29b3d272870c6bdefe3f (
plain)
1
2
3
4
5
6
7
|
T14845_fail1.hs:10:13: error:
• Data constructor ‘S’ cannot be used here
(it has an unpromotable context ‘cls a’)
• In the first argument of ‘Foo’, namely ‘(S :: Struct Eq a)’
In the type ‘Foo (S :: Struct Eq a)’
In the definition of data constructor ‘F’
|