blob: 5b083ea6c71ba4796a902cac194843587f9f5cab (
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
|
T13233.hs:14:11: error:
• The data constructor argument in second position
does not have a fixed runtime representation.
Its type is:
b1 :: TYPE c3
Cannot unify ‘rep’ with the type variable ‘c3’
because it is not a concrete ‘RuntimeRep’.
• In the first argument of ‘bar’, namely ‘(#,#)’
In the expression: bar (#,#)
In an equation for ‘baz’: baz = bar (#,#)
• Relevant bindings include
baz :: a -> a -> (# a, a #) (bound at T13233.hs:14:1)
T13233.hs:22:16: error:
• The data constructor argument in second position
does not have a fixed runtime representation.
Its type is:
b0 :: TYPE c1
Cannot unify ‘rep2’ with the type variable ‘c1’
because it is not a concrete ‘RuntimeRep’.
• In the first argument of ‘obscure’, namely ‘(#,#)’
In the expression: obscure (#,#)
In an equation for ‘quux’: quux = obscure (#,#)
|