Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail179.stderr
1 \r
2 tcfail179.hs:14:39:\r
3     Couldn't match expected type ‘s’ with actual type ‘x’\r
4       ‘x’ is a rigid type variable bound by\r
5           a pattern with constructor:\r
6             T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s,\r
7           in a case alternative\r
8           at tcfail179.hs:14:14\r
9       ‘s’ is a rigid type variable bound by\r
10           the type signature for: run :: T s -> Int at tcfail179.hs:12:8\r
11     Relevant bindings include\r
12       x :: x (bound at tcfail179.hs:14:26)\r
13       g :: s -> (x -> s) -> (x, s, Int) (bound at tcfail179.hs:14:16)\r
14       ts :: T s (bound at tcfail179.hs:13:5)\r
15       run :: T s -> Int (bound at tcfail179.hs:13:1)\r
16     In the first argument of ‘g’, namely ‘x’\r
17     In the expression: g x id\r