577c36e94b5473c0ac3dca6459137185a5e2a8e9
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail174.stderr
1
2 tcfail174.hs:9:10:
3     Couldn't match expected type ‘forall a. a -> a’
4                 with actual type ‘a0 -> a0’
5     In the first argument of ‘Base’, namely ‘id’
6     In the expression: Base id
7
8 tcfail174.hs:13:14:
9     Couldn't match type ‘a’ with ‘a1’
10       because type variable ‘a1’ would escape its scope
11     This (rigid, skolem) type variable is bound by
12       the type forall a2. a2 -> a2
13       at tcfail174.hs:13:1-14
14     Expected type: Capture (forall x. x -> a)
15       Actual type: Capture (forall a. a -> a)
16     Relevant bindings include
17       h1 :: Capture a (bound at tcfail174.hs:13:1)
18     In the first argument of ‘Capture’, namely ‘g’
19     In the expression: Capture g
20
21 tcfail174.hs:16:14:
22     Couldn't match type ‘a’ with ‘b’
23       ‘a’ is a rigid type variable bound by
24           the type forall a1. a1 -> a1 at tcfail174.hs:1:1
25       ‘b’ is a rigid type variable bound by
26           the type signature for h2 :: Capture b at tcfail174.hs:15:7
27     Expected type: Capture (forall x. x -> b)
28       Actual type: Capture (forall a. a -> a)
29     Relevant bindings include
30       h2 :: Capture b (bound at tcfail174.hs:16:1)
31     In the first argument of ‘Capture’, namely ‘g’
32     In the expression: Capture g