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..62eb2a9474
--- /dev/null
+++ b/testsuite/tests/roles/should_compile/Roles3.stderr
@@ -0,0 +1,39 @@
+TYPE SIGNATURES
+TYPE CONSTRUCTORS
+  C1 :: * -> Constraint
+  class C1 a
+    Roles: [nominal]
+    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: [nominal, nominal]
+    RecFlag NonRecursive
+    type family F3 b :: * (open)
+    meth3 :: a -> F3 b -> F3 b
+  C4 :: * -> * -> Constraint
+  class C4 a b
+    Roles: [nominal, nominal]
+    RecFlag NonRecursive
+    meth4 :: a -> F4 b -> F4 b
+  F4 :: * -> *
+  type family F4 a :: * (open)
+  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 ====================
+