Rearrange error msgs and add section markers (Trac #11014).
[ghc.git] / testsuite / tests / typecheck / should_fail / T7869.stderr
1
2 T7869.hs:3:12:
3     Couldn't match type ‘a’ with ‘a1’
4       because type variable ‘a1’ would escape its scope
5     This (rigid, skolem) type variable is bound by
6       an expression type signature: [a1] -> b1
7       at T7869.hs:3:5-27
8     Expected type: [a1] -> b1
9       Actual type: [a] -> b
10     In the expression: f x
11     In the expression: (\ x -> f x) :: [a] -> b
12     In an equation for ‘f’: f = (\ x -> f x) :: [a] -> b
13     Relevant bindings include
14       x :: [a1] (bound at T7869.hs:3:7)
15       f :: [a] -> b (bound at T7869.hs:3:1)
16
17 T7869.hs:3:12:
18     Couldn't match type ‘b’ with ‘b1’
19       because type variable ‘b1’ would escape its scope
20     This (rigid, skolem) type variable is bound by
21       an expression type signature: [a1] -> b1
22       at T7869.hs:3:5-27
23     Expected type: [a1] -> b1
24       Actual type: [a] -> b
25     In the expression: f x
26     In the expression: (\ x -> f x) :: [a] -> b
27     In an equation for ‘f’: f = (\ x -> f x) :: [a] -> b
28     Relevant bindings include f :: [a] -> b (bound at T7869.hs:3:1)