f97c5a11611c9f078214118a22bdead41d08396f
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail099.stderr
1
2 tcfail099.hs:9:20:
3     Couldn't match type `t' with `a'
4       `t' is a rigid type variable bound by
5           the inferred type of call :: DS -> t -> Int at tcfail099.hs:9:1
6       `a' is a rigid type variable bound by
7           a pattern with constructor
8             C :: forall a. (a -> Int) -> DS,
9           in an equation for `call'
10           at tcfail099.hs:9:7
11     In the first argument of `f', namely `arg'
12     In the expression: f arg
13     In an equation for `call': call (C f) arg = f arg