Merge branch 'master' of http://darcs.haskell.org/testsuite
[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       `s' is a rigid type variable bound by
5           the type signature for run :: T s -> Int at tcfail179.hs:13:1
6       `x' is a rigid type variable bound by
7           a pattern with constructor
8             T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s,
9           in a case alternative
10           at tcfail179.hs:14:14
11     In the first argument of `g', namely `x'
12     In the expression: g x id
13     In a pattern binding: (x, _, b) = g x id