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