[commit: ghc] master: Fix testsuite wibble (e33ca0e)
git at git.haskell.org
git at git.haskell.org
Wed Jun 15 12:30:39 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/e33ca0e54f3c20a8b233a3f7b38e4968a4955300/ghc
>---------------------------------------------------------------
commit e33ca0e54f3c20a8b233a3f7b38e4968a4955300
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Wed Jun 15 13:33:57 2016 +0100
Fix testsuite wibble
..in typecheck/should_run/T7861
Was concealed behind the haddock perf noise
>---------------------------------------------------------------
e33ca0e54f3c20a8b233a3f7b38e4968a4955300
testsuite/tests/typecheck/should_run/T7861.stderr | 22 +++++++++++-----------
1 file changed, 11 insertions(+), 11 deletions(-)
diff --git a/testsuite/tests/typecheck/should_run/T7861.stderr b/testsuite/tests/typecheck/should_run/T7861.stderr
index e0aac9a..e9ee5e9 100644
--- a/testsuite/tests/typecheck/should_run/T7861.stderr
+++ b/testsuite/tests/typecheck/should_run/T7861.stderr
@@ -1,13 +1,13 @@
T7861: T7861.hs:10:5: error:
- Couldn't match type ‘a’ with ‘[a]’
- ‘a’ is a rigid type variable bound by
- the type signature for:
- f :: forall a. (forall b. a) -> a
- at T7861.hs:9:6
- Expected type: (forall b. a) -> a
- Actual type: (forall b. a) -> [a]
- In the expression: doA
- In an equation for ‘f’: f = doA
- Relevant bindings include
- f :: (forall b. a) -> a (bound at T7861.hs:10:1)
+ • Couldn't match type ‘a’ with ‘[a]’
+ ‘a’ is a rigid type variable bound by
+ the type signature for:
+ f :: forall a. (forall b. a) -> a
+ at T7861.hs:9:1-23
+ Expected type: (forall b. a) -> a
+ Actual type: (forall b. a) -> [a]
+ • In the expression: doA
+ In an equation for ‘f’: f = doA
+ • Relevant bindings include
+ f :: (forall b. a) -> a (bound at T7861.hs:10:1)
(deferred type error)
More information about the ghc-commits
mailing list