[commit: ghc] master: testsuite: Fix test output broken by efba054640d3 (7d9812e)
git at git.haskell.org
git at git.haskell.org
Thu Feb 1 04:29:51 UTC 2018
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/7d9812e8f4e8723c94a8ee9f7ba629ac9f1d4e71/ghc
>---------------------------------------------------------------
commit 7d9812e8f4e8723c94a8ee9f7ba629ac9f1d4e71
Author: Ben Gamari <ben at smart-cactus.org>
Date: Wed Jan 31 23:02:52 2018 -0500
testsuite: Fix test output broken by efba054640d3
Looks right to me.
>---------------------------------------------------------------
7d9812e8f4e8723c94a8ee9f7ba629ac9f1d4e71
testsuite/tests/typecheck/should_fail/T10619.stderr | 4 ++--
testsuite/tests/typecheck/should_fail/T5691.stderr | 10 +++++-----
2 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/testsuite/tests/typecheck/should_fail/T10619.stderr b/testsuite/tests/typecheck/should_fail/T10619.stderr
index 0cd5364..fde2daf 100644
--- a/testsuite/tests/typecheck/should_fail/T10619.stderr
+++ b/testsuite/tests/typecheck/should_fail/T10619.stderr
@@ -1,6 +1,6 @@
T10619.hs:9:15: error:
- • Couldn't match type ‘b -> b’ with ‘forall a. a -> a’
+ • Couldn't match type ‘forall a. a -> a’ with ‘b -> b’
Expected type: (b -> b) -> b -> b
Actual type: (forall a. a -> a) -> b -> b
• In the expression:
@@ -40,7 +40,7 @@ T10619.hs:14:15: error:
bar :: p -> (b -> b) -> b -> b (bound at T10619.hs:12:1)
T10619.hs:16:13: error:
- • Couldn't match type ‘b -> b’ with ‘forall a. a -> a’
+ • Couldn't match type ‘forall a. a -> a’ with ‘b -> b’
Expected type: (b -> b) -> b -> b
Actual type: (forall a. a -> a) -> b -> b
• In the expression:
diff --git a/testsuite/tests/typecheck/should_fail/T5691.stderr b/testsuite/tests/typecheck/should_fail/T5691.stderr
index 9d4e587..ad5c7e4 100644
--- a/testsuite/tests/typecheck/should_fail/T5691.stderr
+++ b/testsuite/tests/typecheck/should_fail/T5691.stderr
@@ -1,12 +1,12 @@
-T5691.hs:15:24: error:
+T5691.hs:14:9: error:
• Couldn't match type ‘p’ with ‘PrintRuleInterp’
Expected type: PrintRuleInterp a
Actual type: p a
- • In the first argument of ‘printRule_’, namely ‘f’
- In the second argument of ‘($)’, namely ‘printRule_ f’
- In the expression: MkPRI $ printRule_ f
- • Relevant bindings include f :: p a (bound at T5691.hs:14:9)
+ • When checking that the pattern signature: p a
+ fits the type of its context: PrintRuleInterp a
+ In the pattern: f :: p a
+ In an equation for ‘test’: test (f :: p a) = MkPRI $ printRule_ f
T5691.hs:24:10: error:
• No instance for (Alternative RecDecParser)
More information about the ghc-commits
mailing list