596b6e261212382efc09e0c961da00ee4310852a
[ghc.git] / testsuite / tests / indexed-types / should_compile / PushedInAsGivens.stderr
1
2 PushedInAsGivens.hs:10:31: error:
3     • Couldn't match expected type ‘a1’ with actual type ‘a’
4         because type variable ‘a1’ would escape its scope
5       This (rigid, skolem) type variable is bound by
6         the type signature for:
7           foo :: F Int ~ [a1] => a1 -> Int
8         at PushedInAsGivens.hs:9:13-44
9     • In the expression: y
10       In the first argument of ‘length’, namely ‘[x, y]’
11       In the expression: length [x, y]
12     • Relevant bindings include
13         x :: a1 (bound at PushedInAsGivens.hs:10:17)
14         foo :: a1 -> Int (bound at PushedInAsGivens.hs:10:13)
15         y :: a (bound at PushedInAsGivens.hs:9:5)
16         bar :: a -> (a, Int) (bound at PushedInAsGivens.hs:9:1)
17
18 PushedInAsGivens.hs:11:15: error:
19     • Couldn't match type ‘F Int’ with ‘[a]’
20         arising from a use of ‘foo’
21     • In the expression: foo y
22       In the expression: (y, foo y)
23       In the expression:
24         let
25           foo :: (F Int ~ [a]) => a -> Int
26           foo x = length [...]
27         in (y, foo y)
28     • Relevant bindings include
29         y :: a (bound at PushedInAsGivens.hs:9:5)
30         bar :: a -> (a, Int) (bound at PushedInAsGivens.hs:9:1)