Merge branch 'master' of http://darcs.haskell.org/testsuite
[ghc.git] / testsuite / tests / typecheck / should_compile / T2494.stderr
1
2 T2494.hs:15:14:
3     Couldn't match type `a' with `b'
4       `a' is a rigid type variable bound by
5           the RULE "foo/foo" at T2494.hs:13:16
6       `b' is a rigid type variable bound by
7           the RULE "foo/foo" at T2494.hs:14:16
8     Expected type: Maybe (m a) -> Maybe (m a)
9       Actual type: Maybe (m b) -> Maybe (m b)
10     In the first argument of `foo', namely `g'
11     In the second argument of `foo', namely `(foo g x)'
12     In the expression: foo f (foo g x)
13
14 T2494.hs:15:30:
15     Couldn't match type `b' with `a'
16       `b' is a rigid type variable bound by
17           the RULE "foo/foo" at T2494.hs:14:16
18       `a' is a rigid type variable bound by
19           the RULE "foo/foo" at T2494.hs:13:16
20     Expected type: Maybe (m a) -> Maybe (m a)
21       Actual type: Maybe (m b) -> Maybe (m b)
22     In the second argument of `(.)', namely `g'
23     In the first argument of `foo', namely `(f . g)'
24     In the expression: foo (f . g) x