Update to tests due to change in syntax for role annotations.

1 files changed, 39 insertions, 0 deletions

diff --git a/testsuite/tests/roles/should_compile/Roles3.stderr b/testsuite/tests/roles/should_compile/Roles3.stderr
new file mode 100644
index 0000000000..5a074179db
--- /dev/null
+++ b/testsuite/tests/roles/should_compile/Roles3.stderr
@@ -0,0 +1,39 @@
+TYPE SIGNATURES
+TYPE CONSTRUCTORS
+  C1 :: * -> Constraint
+  class C1 a
+      Roles: [representational]
+      RecFlag NonRecursive
+      meth1 :: a -> a
+  C2 :: * -> * -> Constraint
+  class C2 a b
+      Roles: [nominal, nominal]
+      RecFlag NonRecursive
+      meth2 :: (~) * a b -> a -> b
+  C3 :: * -> * -> Constraint
+  class C3 a b
+      Roles: [representational, nominal]
+      RecFlag NonRecursive
+      type family F3 b :: *
+      meth3 :: a -> F3 b -> F3 b
+  C4 :: * -> * -> Constraint
+  class C4 a b
+      Roles: [representational, nominal]
+      RecFlag NonRecursive
+      meth4 :: a -> F4 b -> F4 b
+  F4 :: * -> *
+  type family F4 a :: *
+  Syn1 :: * -> *
+  type Syn1 a = F4 a
+  Syn2 :: * -> *
+  type Syn2 a = [a]
+COERCION AXIOMS
+  axiom Roles3.NTCo:C1 :: C1 a = a -> a
+  axiom Roles3.NTCo:C2 :: C2 a b = a ~ b => a -> b
+  axiom Roles3.NTCo:C3 :: C3 a b = a -> F3 b -> F3 b
+  axiom Roles3.NTCo:C4 :: C4 a b = a -> F4 b -> F4 b
+Dependent modules: []
+Dependent packages: [base, ghc-prim, integer-gmp]
+
+==================== Typechecker ====================
+