Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7453.stderr
1
2 T7453.hs:10:30: error:
3     Couldn't match expected type ‘t1’ with actual type ‘t’
4       because type variable ‘t1’ would escape its scope
5     This (rigid, skolem) type variable is bound by
6       the type signature for: z :: Id t1
7       at T7453.hs:8:16-19
8     Relevant bindings include
9       aux :: Id t1 (bound at T7453.hs:10:21)
10       z :: Id t1 (bound at T7453.hs:9:11)
11       v :: t (bound at T7453.hs:7:7)
12       cast1 :: t -> a (bound at T7453.hs:7:1)
13     In the first argument of ‘Id’, namely ‘v’
14     In the expression: Id v
15
16 T7453.hs:16:33: error:
17     Couldn't match expected type ‘t2’ with actual type ‘t’
18       because type variable ‘t2’ would escape its scope
19     This (rigid, skolem) type variable is bound by
20       the type signature for: z :: () -> t2
21       at T7453.hs:14:16-22
22     Relevant bindings include
23       aux :: b -> t2 (bound at T7453.hs:16:21)
24       z :: () -> t2 (bound at T7453.hs:15:11)
25       v :: t (bound at T7453.hs:13:7)
26       cast2 :: t -> t1 (bound at T7453.hs:13:1)
27     In the first argument of ‘const’, namely ‘v’
28     In the expression: const v
29
30 T7453.hs:21:15: error:
31     Couldn't match expected type ‘t2’ with actual type ‘t’
32       because type variable ‘t2’ would escape its scope
33     This (rigid, skolem) type variable is bound by
34       the type signature for: z :: t2
35       at T7453.hs:20:16
36     Relevant bindings include
37       aux :: forall b. b -> t2 (bound at T7453.hs:22:21)
38       z :: t2 (bound at T7453.hs:21:11)
39       v :: t (bound at T7453.hs:19:7)
40       cast3 :: t -> t1 (bound at T7453.hs:19:1)
41     In the expression: v
42     In an equation for ‘z’:
43         z = v
44           where
45               aux = const v