Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail131.stderr
1
2 tcfail131.hs:7:11: error:
3     • Couldn't match expected type ‘Integer’ with actual type ‘b’
4       ‘b’ is a rigid type variable bound by
5         the type signature for:
6           g :: forall b. Num b => b -> b
7         at tcfail131.hs:6:3-22
8     • In the first argument of ‘f’, namely ‘x’
9       In the expression: f x x
10       In an equation for ‘g’: g x = f x x
11     • Relevant bindings include
12         x :: b (bound at tcfail131.hs:7:5)
13         g :: b -> b (bound at tcfail131.hs:7:3)