Refactoring on IdInfo and system derived names
[ghc.git] / testsuite / tests / roles / should_compile / Roles4.stderr
index 7253f93..6a336da 100644 (file)
@@ -1,4 +1,6 @@
 TYPE SIGNATURES
+  meth1 :: forall a. C1 a => a -> a
+  meth3 :: forall a. C3 a => a -> Syn1 a
 TYPE CONSTRUCTORS
   class C1 a where
     meth1 :: a -> a
@@ -8,26 +10,38 @@ TYPE CONSTRUCTORS
     {-# MINIMAL meth3 #-}
   type Syn1 a = [a]
 COERCION AXIOMS
-  axiom Roles4.NTCo:C1 :: C1 a = a -> a -- Defined at Roles4.hs:6:1
-  axiom Roles4.NTCo:C3 ::
+  axiom Roles4.N:C1 :: C1 a = a -> a -- Defined at Roles4.hs:6:1
+  axiom Roles4.N:C3 ::
     C3 a = a -> Syn1 a -- Defined at Roles4.hs:11:1
 Dependent modules: []
 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
-                     integer-gmp-1.0.0.0]
+                     integer-gmp-1.0.0.1]
 
 ==================== Typechecker ====================
 Roles4.$tcC3
   = GHC.Types.TyCon
-      0## 0## Roles4.$trModule (GHC.Types.TrNameS "C3"#)
-Roles4.$tc'D:C3
+      16502190608089501863##
+      13971441568961069854##
+      Roles4.$trModule
+      (GHC.Types.TrNameS "C3"#)
+Roles4.$tc'C:C3
   = GHC.Types.TyCon
-      0## 0## Roles4.$trModule (GHC.Types.TrNameS "'D:C3"#)
+      16482122951248115051##
+      8497036782794772516##
+      Roles4.$trModule
+      (GHC.Types.TrNameS "'C:C3"#)
 Roles4.$tcC1
   = GHC.Types.TyCon
-      0## 0## Roles4.$trModule (GHC.Types.TrNameS "C1"#)
-Roles4.$tc'D:C1
+      11951908835899020229##
+      6518430686554778113##
+      Roles4.$trModule
+      (GHC.Types.TrNameS "C1"#)
+Roles4.$tc'C:C1
   = GHC.Types.TyCon
-      0## 0## Roles4.$trModule (GHC.Types.TrNameS "'D:C1"#)
+      11393997571952951642##
+      4382794907973051606##
+      Roles4.$trModule
+      (GHC.Types.TrNameS "'C:C1"#)
 Roles4.$trModule
   = GHC.Types.Module
       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles4"#)