Merge branch 'master' of http://darcs.haskell.org/testsuite
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail179.stderr
1 \r
2 tcfail179.hs:14:37:\r
3     Couldn't match type `s' with `x'\r
4       `s' is a rigid type variable bound by\r
5           the type signature for run :: T s -> Int at tcfail179.hs:13:1\r
6       `x' is a rigid type variable bound by\r
7           a pattern with constructor\r
8             T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s,\r
9           in a case alternative\r
10           at tcfail179.hs:14:14\r
11     Expected type: (s, x, Int)\r
12       Actual type: (x, s, Int)\r
13     In the return type of a call of `g'\r
14     In the expression: g x id\r