[commit: ghc] ghc-7.10: Fix more merge-o's from earlier cherry-picks (d260ce3)
git at git.haskell.org
git at git.haskell.org
Mon May 11 22:30:01 UTC 2015
Repository : ssh://git@git.haskell.org/ghc
On branch : ghc-7.10
Link : http://ghc.haskell.org/trac/ghc/changeset/d260ce3e4ff483705bfc9725a137161b8bd99d92/ghc
>---------------------------------------------------------------
commit d260ce3e4ff483705bfc9725a137161b8bd99d92
Author: Austin Seipp <austin at well-typed.com>
Date: Mon May 11 17:29:03 2015 -0500
Fix more merge-o's from earlier cherry-picks
Some error message wibbles that are to be expected.
(The 'error:' prefix thing is getting slightly annoying now, but should
be fixable by cherry picking the needed testsuite driver patch...)
Signed-off-by: Austin Seipp <austin at well-typed.com>
>---------------------------------------------------------------
d260ce3e4ff483705bfc9725a137161b8bd99d92
testsuite/tests/typecheck/should_fail/T9858a.stderr | 6 ++++--
testsuite/tests/typecheck/should_fail/T9858b.stderr | 4 ++--
testsuite/tests/typecheck/should_fail/T9858c.stderr | 2 +-
testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr | 3 ++-
4 files changed, 9 insertions(+), 6 deletions(-)
diff --git a/testsuite/tests/typecheck/should_fail/T9858a.stderr b/testsuite/tests/typecheck/should_fail/T9858a.stderr
index 72b72e9..eb3cc22 100644
--- a/testsuite/tests/typecheck/should_fail/T9858a.stderr
+++ b/testsuite/tests/typecheck/should_fail/T9858a.stderr
@@ -1,6 +1,8 @@
-T9858a.hs:28:18: error:
- No instance for (Typeable (() :: Constraint))
+T9858a.hs:28:18:
+ No instance for (Typeable
+ (((() :: GHC.Prim.Constraint), (() :: GHC.Prim.Constraint)) => ()))
+ (maybe you haven't applied enough arguments to a function?)
arising from a use of ‘cast’
In the expression: cast e
In the expression: case cast e of { Just e' -> ecast e' }
diff --git a/testsuite/tests/typecheck/should_fail/T9858b.stderr b/testsuite/tests/typecheck/should_fail/T9858b.stderr
index b57098e..f7b54a5 100644
--- a/testsuite/tests/typecheck/should_fail/T9858b.stderr
+++ b/testsuite/tests/typecheck/should_fail/T9858b.stderr
@@ -1,7 +1,7 @@
-T9858b.hs:7:8: error:
+T9858b.hs:7:8:
No instance for (Typeable (Eq Int => Int))
- (maybe you haven't applied a function to enough arguments?)
+ (maybe you haven't applied enough arguments to a function?)
arising from a use of ‘typeRep’
In the expression: typeRep (Proxy :: Proxy (Eq Int => Int))
In an equation for ‘test’:
diff --git a/testsuite/tests/typecheck/should_fail/T9858c.stderr b/testsuite/tests/typecheck/should_fail/T9858c.stderr
index c2d0f22..2f235005 100644
--- a/testsuite/tests/typecheck/should_fail/T9858c.stderr
+++ b/testsuite/tests/typecheck/should_fail/T9858c.stderr
@@ -1,5 +1,5 @@
-T9858c.hs:9:8: error:
+T9858c.hs:9:8:
Couldn't match type ‘Eq Int => Int’ with ‘a0 b0’
Expected type: Proxy (a0 b0)
Actual type: Proxy (Eq Int => Int)
diff --git a/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr b/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr
index 8e37acf..e900101 100644
--- a/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr
+++ b/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr
@@ -7,7 +7,8 @@ TcStaticPointersFail02.hs:9:6:
f1 = static (undefined :: (forall a. a -> a) -> b)
TcStaticPointersFail02.hs:12:6:
- No instance for (Data.Typeable.Internal.Typeable m)
+ No instance for (Data.Typeable.Internal.Typeable
+ (Monad m => a -> m a))
(maybe you haven't applied enough arguments to a function?)
arising from a static form
In the expression: static return
More information about the ghc-commits
mailing list