Testsuite error message changes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail131.stderr
1
2 tcfail131.hs:7:9:
3     Couldn't match expected type ‘b’ with actual type ‘Integer’
4       ‘b’ is a rigid type variable bound by
5           the type signature for g :: Num b => b -> b at tcfail131.hs:6:8
6     Relevant bindings include
7       x :: b (bound at tcfail131.hs:7:5)
8       g :: b -> b (bound at tcfail131.hs:7:3)
9     In the expression: f x x
10     In an equation for ‘g’: g x = f x x