Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / roles / should_compile / Roles3.stderr
index ef64a56..483b349 100644 (file)
@@ -2,13 +2,17 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
   class C1 a where
     meth1 :: a -> a
+    {-# MINIMAL meth1 #-}
   class C2 a b where
     meth2 :: a ~ b => a -> b
+    {-# MINIMAL meth2 #-}
   class C3 a b where
     type family F3 b :: * open
     meth3 :: a -> F3 b -> F3 b
+    {-# MINIMAL meth3 #-}
   class C4 a b where
     meth4 :: a -> F4 b -> F4 b
+    {-# MINIMAL meth4 #-}
   type family F4 a :: * open
   type Syn1 a = F4 a
   type Syn2 a = [a]
@@ -18,8 +22,33 @@ COERCION AXIOMS
   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-4.8.1.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
+Roles3.$tcC4
+  = TyCon
+      12861862461396457184##
+      6389612623460961504##
+      Roles3.$trModule
+      (TrNameS "C4"#)
+Roles3.$tcC3
+  = TyCon
+      5998139369941479154##
+      6816352641934636458##
+      Roles3.$trModule
+      (TrNameS "C3"#)
+Roles3.$tcC2
+  = TyCon
+      8833962732139387711##
+      7891126688522429937##
+      Roles3.$trModule
+      (TrNameS "C2"#)
+Roles3.$tcC1
+  = TyCon
+      16242970448469140073##
+      10229725431456576413##
+      Roles3.$trModule
+      (TrNameS "C1"#)
+Roles3.$trModule = Module (TrNameS "main"#) (TrNameS "Roles3"#)