[commit: testsuite] master: Wibbles to deriving error messages (5525a25)

git at git.haskell.org git at git.haskell.org
Tue Nov 19 07:56:28 UTC 2013


Repository : ssh://git@git.haskell.org/testsuite

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/5525a252b9eeb90886826ee18e76812f86049ac8/testsuite

>---------------------------------------------------------------

commit 5525a252b9eeb90886826ee18e76812f86049ac8
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Nov 19 07:55:54 2013 +0000

    Wibbles to deriving error messages


>---------------------------------------------------------------

5525a252b9eeb90886826ee18e76812f86049ac8
 tests/deriving/should_fail/T2604.stderr  |    4 ++--
 tests/deriving/should_fail/T5863a.stderr |   10 ++++------
 2 files changed, 6 insertions(+), 8 deletions(-)

diff --git a/tests/deriving/should_fail/T2604.stderr b/tests/deriving/should_fail/T2604.stderr
index d66ba49..0026288 100644
--- a/tests/deriving/should_fail/T2604.stderr
+++ b/tests/deriving/should_fail/T2604.stderr
@@ -1,10 +1,10 @@
 
 T2604.hs:7:35:
-    Can't make a derived instance of ‛Typeable (DList a)’:
+    Can't make a derived instance of ‛Typeable DList’:
       You need DeriveDataTypeable to derive an instance for this class
     In the data declaration for ‛DList’
 
 T2604.hs:9:38:
-    Can't make a derived instance of ‛Typeable (NList a)’:
+    Can't make a derived instance of ‛Typeable NList’:
       You need DeriveDataTypeable to derive an instance for this class
     In the newtype declaration for ‛NList’
diff --git a/tests/deriving/should_fail/T5863a.stderr b/tests/deriving/should_fail/T5863a.stderr
index 78a7cbf..434ed42 100644
--- a/tests/deriving/should_fail/T5863a.stderr
+++ b/tests/deriving/should_fail/T5863a.stderr
@@ -1,12 +1,10 @@
 
 T5863a.hs:9:31:
-    Can't make a derived instance of ‛Typeable (T Int)’:
-      Deriving Typeable is not allowed for family instances;
-      derive Typeable for ‛T’ alone
+    Cannot eta-reduce to an instance of form
+      instance (...) => Typeable T
     In the data instance declaration for ‛T’
 
 T5863a.hs:12:32:
-    Can't make a derived instance of ‛Typeable (T Bool)’:
-      Deriving Typeable is not allowed for family instances;
-      derive Typeable for ‛T’ alone
+    Cannot eta-reduce to an instance of form
+      instance (...) => Typeable T
     In the data instance declaration for ‛T’



More information about the ghc-commits mailing list