Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail174.stderr
1
2 tcfail174.hs:9:5: error:
3     • Couldn't match type ‘a0 -> a0’ with ‘forall a. a -> a’
4       Expected type: Capture (forall a. a -> a)
5         Actual type: Capture (a0 -> a0)
6     • In the expression: Base id
7       In an equation for ‘g’: g = Base id
8
9 tcfail174.hs:16:14: error:
10     • Couldn't match type ‘a’ with ‘a1’
11         because type variable ‘a1’ would escape its scope
12       This (rigid, skolem) type variable is bound by
13         the type a1 -> a1
14         at tcfail174.hs:16:1-14
15       Expected type: Capture (forall x. x -> a)
16         Actual type: Capture (forall a. a -> a)
17     • In the first argument of ‘Capture’, namely ‘g’
18       In the expression: Capture g
19       In an equation for ‘h1’: h1 = Capture g
20     • Relevant bindings include
21         h1 :: Capture a (bound at tcfail174.hs:16:1)
22
23 tcfail174.hs:19:14: error:
24     • Couldn't match type ‘a’ with ‘b’
25       ‘a’ is a rigid type variable bound by
26         the type a -> a at tcfail174.hs:1:1
27       ‘b’ is a rigid type variable bound by
28         the type signature for:
29           h2 :: forall b. Capture b
30         at tcfail174.hs:18:1-15
31       Expected type: Capture (forall x. x -> b)
32         Actual type: Capture (forall a. a -> a)
33     • In the first argument of ‘Capture’, namely ‘g’
34       In the expression: Capture g
35       In an equation for ‘h2’: h2 = Capture g
36     • Relevant bindings include
37         h2 :: Capture b (bound at tcfail174.hs:19:1)