diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T2714.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T2714.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T2714.stderr b/testsuite/tests/typecheck/should_fail/T2714.stderr index c016586cc4..9b3fc34c52 100644 --- a/testsuite/tests/typecheck/should_fail/T2714.stderr +++ b/testsuite/tests/typecheck/should_fail/T2714.stderr @@ -1,10 +1,10 @@ T2714.hs:8:5: error: - • Couldn't match type ‘a’ with ‘f0 b’ - ‘a’ is a rigid type variable bound by + • Couldn't match type ‘c’ with ‘f0 (a -> b)’ + ‘c’ is a rigid type variable bound by the type signature for: - f :: forall a b. ((a -> b) -> b) -> forall c. c -> a - at T2714.hs:7:1-42 + f :: ((a -> b) -> b) -> forall c. c -> a + at T2714.hs:8:1-9 Expected type: ((a -> b) -> b) -> c -> a Actual type: ((a -> b) -> b) -> f0 (a -> b) -> f0 b • In the expression: ffmap |