blob: 84f330e71737e4124d2491f9bee1390c98255d33 (
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
|
T12427a.hs:17:29: error:
• Couldn't match expected type ‘p’
with actual type ‘(forall b. [b] -> [b]) -> Int’
‘p’ is a rigid type variable bound by
the inferred type of h11 :: T -> p
at T12427a.hs:17:1-29
• In the expression: v
In a case alternative: T1 _ v -> v
In the expression: case y of T1 _ v -> v
• Relevant bindings include
h11 :: T -> p (bound at T12427a.hs:17:1)
T12427a.hs:28:6: error:
• Couldn't match expected type ‘p0’
with actual type ‘(forall b. [b] -> [b]) -> Int’
Cannot instantiate unification variable ‘p0’
with a type involving polytypes: (forall b. [b] -> [b]) -> Int
• In the pattern: T1 _ x1
In a pattern binding: T1 _ x1 = undefined
T12427a.hs:41:6: error:
• Couldn't match type ‘b’ with ‘[b]’
Expected: (forall b. [b] -> [b]) -> Int
Actual: (forall a. a -> a) -> Int
‘b’ is a rigid type variable bound by
the type [b] -> [b]
at T12427a.hs:41:1-19
• In the pattern: T1 _ x3
In a pattern binding: T1 _ x3 = undefined
|
