Refactoring on IdInfo and system derived names
[ghc.git] / testsuite / tests / roles / should_compile / Roles3.stderr
index bf6dd00..544e497 100644 (file)
@@ -1,4 +1,8 @@
 TYPE SIGNATURES
+  meth1 :: forall a. C1 a => a -> a
+  meth2 :: forall a b. (C2 a b, a ~ b) => a -> b
+  meth3 :: forall a b. C3 a b => a -> F3 b -> F3 b
+  meth4 :: forall a b. C4 a b => a -> F4 b -> F4 b
 TYPE CONSTRUCTORS
   class C1 a where
     meth1 :: a -> a
@@ -19,42 +23,66 @@ TYPE CONSTRUCTORS
   type Syn1 a = F4 a
   type Syn2 a = [a]
 COERCION AXIOMS
-  axiom Roles3.NTCo:C1 :: C1 a = a -> a -- Defined at Roles3.hs:6:1
-  axiom Roles3.NTCo:C2 ::
+  axiom Roles3.N:C1 :: C1 a = a -> a -- Defined at Roles3.hs:6:1
+  axiom Roles3.N:C2 ::
     C2 a b = (a ~ b) => a -> b -- Defined at Roles3.hs:9:1
-  axiom Roles3.NTCo:C3 ::
+  axiom Roles3.N:C3 ::
     C3 a b = a -> F3 b -> F3 b -- Defined at Roles3.hs:12:1
-  axiom Roles3.NTCo:C4 ::
+  axiom Roles3.N:C4 ::
     C4 a b = a -> F4 b -> F4 b -- Defined at Roles3.hs:18: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 ====================
 Roles3.$tcC4
   = GHC.Types.TyCon
-      0## 0## Roles3.$trModule (GHC.Types.TrNameS "C4"#)
-Roles3.$tc'D:C4
+      12861862461396457184##
+      6389612623460961504##
+      Roles3.$trModule
+      (GHC.Types.TrNameS "C4"#)
+Roles3.$tc'C:C4
   = GHC.Types.TyCon
-      0## 0## Roles3.$trModule (GHC.Types.TrNameS "'D:C4"#)
+      5012080351591218464##
+      14312195554521420369##
+      Roles3.$trModule
+      (GHC.Types.TrNameS "'C:C4"#)
 Roles3.$tcC3
   = GHC.Types.TyCon
-      0## 0## Roles3.$trModule (GHC.Types.TrNameS "C3"#)
-Roles3.$tc'D:C3
+      5998139369941479154##
+      6816352641934636458##
+      Roles3.$trModule
+      (GHC.Types.TrNameS "C3"#)
+Roles3.$tc'C:C3
   = GHC.Types.TyCon
-      0## 0## Roles3.$trModule (GHC.Types.TrNameS "'D:C3"#)
+      5363370173992879615##
+      3444510123613553605##
+      Roles3.$trModule
+      (GHC.Types.TrNameS "'C:C3"#)
 Roles3.$tcC2
   = GHC.Types.TyCon
-      0## 0## Roles3.$trModule (GHC.Types.TrNameS "C2"#)
-Roles3.$tc'D:C2
+      8833962732139387711##
+      7891126688522429937##
+      Roles3.$trModule
+      (GHC.Types.TrNameS "C2"#)
+Roles3.$tc'C:C2
   = GHC.Types.TyCon
-      0## 0## Roles3.$trModule (GHC.Types.TrNameS "'D:C2"#)
+      17372867324718144313##
+      13604113872247370917##
+      Roles3.$trModule
+      (GHC.Types.TrNameS "'C:C2"#)
 Roles3.$tcC1
   = GHC.Types.TyCon
-      0## 0## Roles3.$trModule (GHC.Types.TrNameS "C1"#)
-Roles3.$tc'D:C1
+      16242970448469140073##
+      10229725431456576413##
+      Roles3.$trModule
+      (GHC.Types.TrNameS "C1"#)
+Roles3.$tc'C:C1
   = GHC.Types.TyCon
-      0## 0## Roles3.$trModule (GHC.Types.TrNameS "'D:C1"#)
+      2927144765823607117##
+      15172069236577673237##
+      Roles3.$trModule
+      (GHC.Types.TrNameS "'C:C1"#)
 Roles3.$trModule
   = GHC.Types.Module
       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles3"#)