Wibble to output from change in roles error messages
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 28 Aug 2013 02:07:11 +0000 (22:07 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 28 Aug 2013 03:06:59 +0000 (23:06 -0400)
testsuite/tests/deriving/should_fail/Roles10.stderr
testsuite/tests/deriving/should_fail/Roles11.stderr
testsuite/tests/deriving/should_fail/Roles8.stderr
testsuite/tests/deriving/should_fail/Roles9.stderr
testsuite/tests/deriving/should_fail/T1496.stderr
testsuite/tests/deriving/should_fail/T2721.stderr
testsuite/tests/deriving/should_fail/T4846.stderr
testsuite/tests/deriving/should_fail/T7148.stderr
testsuite/tests/deriving/should_fail/T7148a.stderr
testsuite/tests/gadt/CasePrune.stderr

index caf83fc..756aaa2 100644 (file)
@@ -3,5 +3,5 @@ Roles10.hs:16:12:
     Can't make a derived instance of ‛C Age’
       (even with cunning newtype deriving):
       it is not type-safe to use GeneralizedNewtypeDeriving on this class;
-      the last parameter of ‛C’ is at role N
+      the last parameter of ‛C’ is at role Nominal
     In the newtype declaration for ‛Age’
index 5a3ad69..2b68612 100644 (file)
@@ -1,5 +1,5 @@
 
 Roles11.hs:5:1:
     Role mismatch on variable a:
-      Annotation says R but role N is required
+      Annotation says Representational but role Nominal is required
     In the data declaration for ‛T2’
index a650a66..12aa9fb 100644 (file)
@@ -1,5 +1,5 @@
 
 Roles8.hs:5:1:
     Role mismatch on variable a:
-      Annotation says P but role R is required
+      Annotation says Phantom but role Representational is required
     In the data declaration for ‛T1’
index 611c377..43c3dc7 100644 (file)
@@ -3,5 +3,5 @@ Roles9.hs:12:12:
     Can't make a derived instance of ‛C Age’
       (even with cunning newtype deriving):
       it is not type-safe to use GeneralizedNewtypeDeriving on this class;
-      the last parameter of ‛C’ is at role N
+      the last parameter of ‛C’ is at role Nominal
     In the newtype declaration for ‛Age’
index 32a67a6..cc4cdc2 100644 (file)
@@ -3,5 +3,5 @@ T1496.hs:10:32:
     Can't make a derived instance of ‛IsInt Moo’
       (even with cunning newtype deriving):
       it is not type-safe to use GeneralizedNewtypeDeriving on this class;
-      the last parameter of ‛IsInt’ is at role N
+      the last parameter of ‛IsInt’ is at role Nominal
     In the newtype declaration for ‛Moo’
index 375c8a4..710b933 100644 (file)
@@ -4,5 +4,5 @@ T2721.hs:15:28:
       (even with cunning newtype deriving):
       the class has associated types
       it is not type-safe to use GeneralizedNewtypeDeriving on this class;
-      the last parameter of ‛C’ is at role N
+      the last parameter of ‛C’ is at role Nominal
     In the newtype declaration for ‛N’
index 22556b0..beb7653 100644 (file)
@@ -3,5 +3,5 @@ T4846.hs:29:1:
     Can't make a derived instance of ‛B BOOL’
       (even with cunning newtype deriving):
       it is not type-safe to use GeneralizedNewtypeDeriving on this class;
-      the last parameter of ‛B’ is at role N
+      the last parameter of ‛B’ is at role Nominal
     In the stand-alone deriving instance for ‛B BOOL’
index dcee25f..748ef08 100644 (file)
@@ -3,5 +3,5 @@ T7148.hs:27:40:
     Can't make a derived instance of ‛IsoUnit (Tagged a b)’
       (even with cunning newtype deriving):
       it is not type-safe to use GeneralizedNewtypeDeriving on this class;
-      the last parameter of ‛IsoUnit’ is at role N
+      the last parameter of ‛IsoUnit’ is at role Nominal
     In the newtype declaration for ‛Tagged’
index f2a938c..fa4a2dc 100644 (file)
@@ -3,5 +3,5 @@ T7148a.hs:19:50:
     Can't make a derived instance of ‛Convert (IS_NO_LONGER a)’
       (even with cunning newtype deriving):
       it is not type-safe to use GeneralizedNewtypeDeriving on this class;
-      the last parameter of ‛Convert’ is at role N
+      the last parameter of ‛Convert’ is at role Nominal
     In the newtype declaration for ‛IS_NO_LONGER’
index 8057e16..d3dbc6e 100644 (file)
@@ -3,5 +3,5 @@ CasePrune.hs:14:31:
     Can't make a derived instance of ‛C A’
       (even with cunning newtype deriving):
       it is not type-safe to use GeneralizedNewtypeDeriving on this class;
-      the last parameter of ‛C’ is at role N
+      the last parameter of ‛C’ is at role Nominal
     In the newtype declaration for ‛A’