Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / roles / should_compile / Roles3.stderr
index 62eb2a9..483b349 100644 (file)
@@ -1,39 +1,54 @@
 TYPE SIGNATURES
 TYPE CONSTRUCTORS
-  C1 :: * -> Constraint
-  class C1 a
-    Roles: [nominal]
-    RecFlag NonRecursive
+  class C1 a where
     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)
+    {-# 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
-  C4 :: * -> * -> Constraint
-  class C4 a b
-    Roles: [nominal, nominal]
-    RecFlag NonRecursive
+    {-# MINIMAL meth3 #-}
+  class C4 a b where
     meth4 :: a -> F4 b -> F4 b
-  F4 :: * -> *
-  type family F4 a :: * (open)
-  Syn1 :: * -> *
+    {-# MINIMAL meth4 #-}
+  type family F4 a :: * open
   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: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]
+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"#)