blob: 762a87efe0246ad43a7af419eb191798e9712415 (
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
35
|
tcfail174.hs:9:10:
Couldn't match expected type `forall a. a -> a'
with actual type `a0 -> a0'
In the first argument of `Base', namely `id'
In the expression: Base id
In an equation for `g': g = Base id
tcfail174.hs:13:14:
Couldn't match type `a' with `a1'
because type variable `a1' would escape its scope
This (rigid, skolem) type variable is bound by
the type forall a. a -> a
at tcfail174.hs:13:14
Expected type: Capture (forall x. x -> a)
Actual type: Capture (forall a. a -> a)
Relevant bindings include
h1 :: Capture a (bound at tcfail174.hs:13:1)
In the first argument of `Capture', namely `g'
In the expression: Capture g
In an equation for `h1': h1 = Capture g
tcfail174.hs:16:14:
Couldn't match type `a' with `b'
`a' is a rigid type variable bound by
the type forall a. a -> a at tcfail174.hs:16:14
`b' is a rigid type variable bound by
the type signature for h2 :: Capture b at tcfail174.hs:15:7
Expected type: Capture (forall x. x -> b)
Actual type: Capture (forall a. a -> a)
Relevant bindings include
h2 :: Capture b (bound at tcfail174.hs:16:1)
In the first argument of `Capture', namely `g'
In the expression: Capture g
In an equation for `h2': h2 = Capture g
|