blob: 014dc19144c08188d1f7a4277fe7da85f7a23ba5 (
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
31
32
33
34
|
RepPolyArrowFun.hs:29:9: error:
• • The return type of the arrow function
‘arr’
does not have a fixed runtime representation.
Its type is:
arr b c :: TYPE r
• The return type of the arrow function
‘(>>>)’
does not have a fixed runtime representation.
Its type is:
arr a1 c4 :: TYPE r
• The return type of the arrow function
‘first’
does not have a fixed runtime representation.
Its type is:
arr (b1, d) (c5, d) :: TYPE r
• When checking that ‘arr’ (needed by a syntactic construct)
has the required type: forall b c. (b -> c) -> arr b c
arising from a proc expression at RepPolyArrowFun.hs:29:9-32
In the expression: proc x -> undefined -< x
In an equation for ‘foo’: foo _ = proc x -> undefined -< x
RepPolyArrowFun.hs:29:19: error:
• The function un the first order arrow application of
‘undefined’
to
‘x’
does not have a fixed runtime representation.
Its type is:
arr a a :: TYPE r
• In the command: undefined -< x
In the expression: proc x -> undefined -< x
In an equation for ‘foo’: foo _ = proc x -> undefined -< x
|
