Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_compile / PushedInAsGivens.stderr
1
2 PushedInAsGivens.hs:10:31:
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 foo :: (F Int ~ [a1]) => a1 -> Int
7       at PushedInAsGivens.hs:9:20-44
8     Relevant bindings include
9       x :: a1 (bound at PushedInAsGivens.hs:10:17)
10       foo :: a1 -> Int (bound at PushedInAsGivens.hs:10:13)
11       y :: a (bound at PushedInAsGivens.hs:9:5)
12       bar :: a -> (a, Int) (bound at PushedInAsGivens.hs:9:1)
13     In the expression: y
14     In the first argument of ‘length’, namely ‘[x, y]’
15
16 PushedInAsGivens.hs:11:15:
17     Couldn't match expected type ‘[a]’ with actual type ‘F Int’
18     Relevant bindings include
19       y :: a (bound at PushedInAsGivens.hs:9:5)
20       bar :: a -> (a, Int) (bound at PushedInAsGivens.hs:9:1)
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)