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