blob: c7e6be02fc4b85ed282d866a2d8a505e70af7f3e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
T13233.hs:14:11: error:
• • Unsaturated use of a representation-polymorphic data constructor.
The second argument of ‘(#,#)’
does not have a fixed runtime representation.
Its type is:
a :: TYPE rep
• Unsaturated use of a representation-polymorphic data constructor.
The first argument of ‘(#,#)’
does not have a fixed runtime representation.
Its type is:
a :: TYPE rep
• In the first argument of ‘bar’, namely ‘(#,#)’
In the expression: bar (#,#)
In an equation for ‘baz’: baz = bar (#,#)
T13233.hs:22:16: error:
• • Unsaturated use of a representation-polymorphic data constructor.
The second argument of ‘(#,#)’
does not have a fixed runtime representation.
Its type is:
b :: TYPE rep2
• Unsaturated use of a representation-polymorphic data constructor.
The first argument of ‘(#,#)’
does not have a fixed runtime representation.
Its type is:
a :: TYPE rep1
• In the first argument of ‘obscure’, namely ‘(#,#)’
In the expression: obscure (#,#)
In an equation for ‘quux’: quux = obscure (#,#)
|
