Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T10285.stderr
1
2 T10285.hs:8:17: error:
3     Could not deduce: Coercible a b arising from a use of ‘coerce’
4     from the context: Coercible (N a) (N b)
5       bound by a pattern with constructor:
6                  Coercion :: forall (k :: BOX) (a :: k) (b :: k).
7                              Coercible a b =>
8                              Coercion a b,
9                in an equation for ‘oops’
10       at T10285.hs:8:6-13
11       ‘a’ is a rigid type variable bound by
12           the type signature for: oops :: Coercion (N a) (N b) -> a -> b
13           at T10285.hs:7:9
14       ‘b’ is a rigid type variable bound by
15           the type signature for: oops :: Coercion (N a) (N b) -> a -> b
16           at T10285.hs:7:9
17     Relevant bindings include
18       oops :: Coercion (N a) (N b) -> a -> b (bound at T10285.hs:8:1)
19     In the expression: coerce
20     In an equation for ‘oops’: oops Coercion = coerce