Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / roles / should_compile / Roles4.stderr
index 32862ea..c8480cd 100644 (file)
@@ -1,22 +1,31 @@
 TYPE SIGNATURES
 TYPE CONSTRUCTORS
-  C1 :: * -> Constraint
-  class C1 a
-    Roles: [nominal]
-    RecFlag NonRecursive
+  class C1 a where
     meth1 :: a -> a
-  C3 :: * -> Constraint
-  class C3 a
-    Roles: [nominal]
-    RecFlag NonRecursive
+    {-# MINIMAL meth1 #-}
+  class C3 a where
     meth3 :: a -> Syn1 a
-  Syn1 :: * -> *
+    {-# MINIMAL meth3 #-}
   type Syn1 a = [a]
 COERCION AXIOMS
   axiom Roles4.NTCo:C1 :: C1 a = a -> a
   axiom Roles4.NTCo:C3 :: C3 a = a -> Syn1 a
 Dependent modules: []
-Dependent packages: [base, ghc-prim, integer-gmp]
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+                     integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
+Roles4.$tcC3
+  = TyCon
+      16502190608089501863##
+      13971441568961069854##
+      Roles4.$trModule
+      (TrNameS "C3"#)
+Roles4.$tcC1
+  = TyCon
+      11951908835899020229##
+      6518430686554778113##
+      Roles4.$trModule
+      (TrNameS "C1"#)
+Roles4.$trModule = Module (TrNameS "main"#) (TrNameS "Roles4"#)