New kind-polymorphic core
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail179.stderr
1
2 tcfail179.hs:14:37:
3     Couldn't match type `x' with `s'
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:13:1
11     Expected type: (s, s, Int)
12       Actual type: (x, s, Int)
13     In the return type of a call of `g'
14     In the expression: g x id