Suppress uniques to stop output wobbling (test for Trac #8958)
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 9 Apr 2014 21:40:22 +0000 (22:40 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 9 Apr 2014 21:49:55 +0000 (22:49 +0100)
testsuite/tests/roles/should_compile/T8958.stderr
testsuite/tests/roles/should_compile/all.T

index e40865f..919530b 100644 (file)
@@ -1,49 +1,49 @@
-
-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
-  class Nominal a
-    Roles: [nominal]
-    RecFlag NonRecursive
-  Representational :: * -> Constraint
-  class Representational a
-    Roles: [representational]
-    RecFlag NonRecursive
-COERCION AXIOMS
-  axiom T8958.NTCo:Map :: Map k v = [(k, v)]
-INSTANCES
-  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]
-
-==================== Typechecker ====================
-AbsBinds [a] []
-  {Exports: [T8958.$fRepresentationala <= $dRepresentational_aJ6
-               <>]
-   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_aJ6 = T8958.D:Representational}
-AbsBinds [a] []
-  {Exports: [T8958.$fNominala <= $dNominal_aJ7
-               <>]
-   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}
-
+\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
index 4555b0f..681092b 100644 (file)
@@ -5,4 +5,4 @@ test('Roles4', only_ways('normal'), compile, ['-ddump-tc'])
 test('Roles13', only_ways('normal'), compile, ['-ddump-simpl -dsuppress-uniques'])
 test('Roles14', only_ways('normal'), compile, ['-ddump-tc'])
 test('RolesIArray', only_ways('normal'), compile, [''])
-test('T8958', only_ways('normal'), compile, ['-ddump-tc'])
+test('T8958', only_ways('normal'), compile, ['-ddump-tc -dsuppress-uniques'])