testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T2494.stderr
1
2 T2494.hs:15:14: error:
3     • Couldn't match type ‘b’ with ‘a’
4       ‘b’ is a rigid type variable bound by
5         the RULE "foo/foo"
6         at T2494.hs:(12,1)-(15,33)
7       ‘a’ is a rigid type variable bound by
8         the RULE "foo/foo"
9         at T2494.hs:(12,1)-(15,33)
10       Expected type: Maybe (m a) -> Maybe (m a)
11         Actual type: Maybe (m b) -> Maybe (m b)
12     • In the first argument of ‘foo’, namely ‘g’
13       In the second argument of ‘foo’, namely ‘(foo g x)’
14       In the expression: foo f (foo g x)
15     • Relevant bindings include
16         f :: forall (m :: * -> *). Monad m => Maybe (m a) -> Maybe (m a)
17           (bound at T2494.hs:13:11)
18         g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b)
19           (bound at T2494.hs:14:11)
20         x :: Maybe a (bound at T2494.hs:14:65)
21
22 T2494.hs:15:30: error:
23     • Couldn't match type ‘b’ with ‘a’
24       ‘b’ is a rigid type variable bound by
25         the RULE "foo/foo"
26         at T2494.hs:(12,1)-(15,33)
27       ‘a’ is a rigid type variable bound by
28         the RULE "foo/foo"
29         at T2494.hs:(12,1)-(15,33)
30       Expected type: Maybe (m b) -> Maybe (m a)
31         Actual type: Maybe (m b) -> Maybe (m b)
32     • In the second argument of ‘(.)’, namely ‘g’
33       In the first argument of ‘foo’, namely ‘(f . g)’
34       In the expression: foo (f . g) x
35     • Relevant bindings include
36         f :: forall (m :: * -> *). Monad m => Maybe (m a) -> Maybe (m a)
37           (bound at T2494.hs:13:11)
38         g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b)
39           (bound at T2494.hs:14:11)
40         x :: Maybe a (bound at T2494.hs:14:65)