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