Testsuite error message changes
[ghc.git] / testsuite / tests / roles / should_compile / T8958.stderr
index 10ab093..558b360 100644 (file)
@@ -1,41 +1,36 @@
-
-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.0.0, ghc-prim-0.3.1.0,
-                     integer-<IMPL>-<VERSION>]
-
-==================== Typechecker ====================
-AbsBinds [a] []
-  {Exports: [T8958.$fRepresentationala <= $dRepresentational
-               <>]
-   Exported types: T8958.$fRepresentationala [InlPrag=[ALWAYS] CONLIKE]
-                     :: forall a. Representational a
-                   [LclIdX[DFunId],
-                    Str=DmdType,
-                    Unf=DFun: \ (@ a) -> T8958.D:Representational TYPE a]
-   Binds: $dRepresentational = T8958.D:Representational}
-AbsBinds [a] []
-  {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 = T8958.D:Nominal}
-
+\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
+  type role Map nominal representational\r
+  newtype (Nominal k, Representational v) => Map k v = MkMap [(k, v)]\r
+    Promotable\r
+  class Nominal a\r
+  type role Representational representational\r
+  class Representational a\r
+COERCION AXIOMS\r
+  axiom T8958.NTCo:Map :: Map k v = [(k, v)]\r
+INSTANCES\r
+  instance [incoherent] Nominal a -- Defined at T8958.hs:7:10\r
+  instance [incoherent] Representational a\r
+    -- Defined at T8958.hs:10:10\r
+Dependent modules: []\r
+Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,\r
+                     integer-gmp-0.5.1.0]\r
+\r
+==================== Typechecker ====================\r
+AbsBinds [a] []\r
+  {Exports: [T8958.$fRepresentationala <= $dRepresentational\r
+               <>]\r
+   Exported types: T8958.$fRepresentationala\r
+                     :: forall a. Representational a\r
+                   [LclIdX[DFunId], Str=DmdType]\r
+   Binds: $dRepresentational = T8958.D:Representational}\r
+AbsBinds [a] []\r
+  {Exports: [T8958.$fNominala <= $dNominal\r
+               <>]\r
+   Exported types: T8958.$fNominala :: forall a. Nominal a\r
+                   [LclIdX[DFunId], Str=DmdType]\r
+   Binds: $dNominal = T8958.D:Nominal}\r
+\r