df648525572c5f8c761b2de6a9d6840a12e88f9f
[ghc.git] / testsuite / tests / typecheck / should_fail / T2714.stderr
1
2 T2714.hs:8:5:
3     Couldn't match type ‘a’ with ‘f0 b’
4       ‘a’ is a rigid type variable bound by
5           the type signature for f :: ((a -> b) -> b) -> forall c. c -> a
6           at T2714.hs:7:6
7     Expected type: ((a -> b) -> b) -> c -> a
8       Actual type: ((a -> b) -> b) -> f0 (a -> b) -> f0 b
9     Relevant bindings include
10       f :: ((a -> b) -> b) -> forall c. c -> a (bound at T2714.hs:8:1)
11     In the expression: ffmap
12     In an equation for ‘f’: f = ffmap
13
14 T2714.hs:8:5:
15     Couldn't match type ‘c’ with ‘f0 (a -> b)’
16       ‘c’ is a rigid type variable bound by
17           the type signature for f :: ((a -> b) -> b) -> c -> a
18           at T2714.hs:8:1
19     Expected type: ((a -> b) -> b) -> c -> a
20       Actual type: ((a -> b) -> b) -> f0 (a -> b) -> f0 b
21     Relevant bindings include
22       f :: ((a -> b) -> b) -> forall c. c -> a (bound at T2714.hs:8:1)
23     In the expression: ffmap
24     In an equation for ‘f’: f = ffmap