Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / roles / should_compile / T8958.stderr
index e40865f..c62d9c4 100644 (file)
@@ -1,49 +1,43 @@
 
-T8958.hs:1:31: Warning:
+T8958.hs:1:31: warning:
     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
 TYPE SIGNATURES
 TYPE CONSTRUCTORS
-  Map :: * -> * -> *
-  newtype (Nominal k, Representational v) => Map k v
-    No C type associated
-    Roles: [nominal, representational]
-    RecFlag NonRecursive, Promotable
-    = MkMap :: [(k, v)] -> Map k v Stricts: _
-    FamilyInstance: none
-  Nominal :: * -> Constraint
+  type role Map nominal representational
+  newtype (Nominal k, Representational v) => Map k v = MkMap [(k, v)]
+    Promotable
   class Nominal a
-    Roles: [nominal]
-    RecFlag NonRecursive
-  Representational :: * -> Constraint
+  type role Representational representational
   class Representational a
-    Roles: [representational]
-    RecFlag NonRecursive
 COERCION AXIOMS
   axiom T8958.NTCo:Map :: Map k v = [(k, v)]
 INSTANCES
+  instance [incoherent] Nominal a -- Defined at T8958.hs:7:10
   instance [incoherent] Representational a
     -- Defined at T8958.hs:10:10
-  instance [incoherent] Nominal a -- Defined at T8958.hs:7:10
 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 ====================
+T8958.$tcMap = TyCon 0## 0## T8958.$trModule (TrNameS "Map"#)
+T8958.$tc'MkMap = TyCon 0## 0## T8958.$trModule (TrNameS "'MkMap"#)
+T8958.$tcRepresentational
+  = TyCon 0## 0## T8958.$trModule (TrNameS "Representational"#)
+T8958.$tcNominal
+  = TyCon 0## 0## T8958.$trModule (TrNameS "Nominal"#)
+T8958.$trModule = Module (TrNameS "main"#) (TrNameS "T8958"#)
 AbsBinds [a] []
-  {Exports: [T8958.$fRepresentationala <= $dRepresentational_aJ6
+  {Exports: [T8958.$fRepresentationala <= $dRepresentational
                <>]
-   Exported types: T8958.$fRepresentationala [InlPrag=[ALWAYS] CONLIKE]
+   Exported types: T8958.$fRepresentationala
                      :: forall a. Representational a
-                   [LclIdX[DFunId],
-                    Str=DmdType,
-                    Unf=DFun: \ (@ a) -> T8958.D:Representational TYPE a]
-   Binds: $dRepresentational_aJ6 = T8958.D:Representational}
+                   [LclIdX[DFunId], Str=DmdType]
+   Binds: $dRepresentational = T8958.D:Representational}
 AbsBinds [a] []
-  {Exports: [T8958.$fNominala <= $dNominal_aJ7
+  {Exports: [T8958.$fNominala <= $dNominal
                <>]
-   Exported types: T8958.$fNominala [InlPrag=[ALWAYS] CONLIKE]
-                     :: forall a. Nominal a
-                   [LclIdX[DFunId],
-                    Str=DmdType,
-                    Unf=DFun: \ (@ a) -> T8958.D:Nominal TYPE a]
-   Binds: $dNominal_aJ7 = T8958.D:Nominal}
+   Exported types: T8958.$fNominala :: forall a. Nominal a
+                   [LclIdX[DFunId], Str=DmdType]
+   Binds: $dNominal = T8958.D:Nominal}