blob: 2e943ac0a5e8e9a791b543d8e60584a746f5a6f8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
T2494.hs:15:14:
Couldn't match type `b' with `a'
`b' is a rigid type variable bound by
the RULE "foo/foo" at T2494.hs:14:16
`a' is a rigid type variable bound by
the RULE "foo/foo" at T2494.hs:13:16
Expected type: Maybe (m a) -> Maybe (m a)
Actual type: Maybe (m b) -> Maybe (m b)
In the first argument of `foo', namely `g'
In the second argument of `foo', namely `(foo g x)'
In the expression: foo f (foo g x)
T2494.hs:15:30:
Couldn't match type `b' with `a'
`b' is a rigid type variable bound by
the RULE "foo/foo" at T2494.hs:14:16
`a' is a rigid type variable bound by
the RULE "foo/foo" at T2494.hs:13:16
Expected type: Maybe (m a) -> Maybe (m a)
Actual type: Maybe (m b) -> Maybe (m b)
In the second argument of `(.)', namely `g'
In the first argument of `foo', namely `(f . g)'
In the expression: foo (f . g) x
|
