Commit e06abacd authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Wibble to output from change in roles error messages

parent f9d1f651
......@@ -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’
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’
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’
......@@ -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’
......@@ -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’
......@@ -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’
......@@ -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’
......@@ -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’
......@@ -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’
......@@ -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’
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment