diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-04-09 22:40:22 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-04-09 22:49:55 +0100 |
commit | b4dd5667fe84cb6030d296e9e4563d4de62f718d (patch) | |
tree | 372aee7b27a4a46ea6756f85b8692a9237ec3264 /testsuite | |
parent | f8e12e2b396e0c475e1403ab8ac3fc4d63c1681e (diff) | |
download | haskell-b4dd5667fe84cb6030d296e9e4563d4de62f718d.tar.gz |
Suppress uniques to stop output wobbling (test for Trac #8958)
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/tests/roles/should_compile/T8958.stderr | 98 | ||||
-rw-r--r-- | testsuite/tests/roles/should_compile/all.T | 2 |
2 files changed, 50 insertions, 50 deletions
diff --git a/testsuite/tests/roles/should_compile/T8958.stderr b/testsuite/tests/roles/should_compile/T8958.stderr index e40865fc64..919530bb03 100644 --- a/testsuite/tests/roles/should_compile/T8958.stderr +++ b/testsuite/tests/roles/should_compile/T8958.stderr @@ -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} - +
+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
+ <>]
+ 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}
+
diff --git a/testsuite/tests/roles/should_compile/all.T b/testsuite/tests/roles/should_compile/all.T index 4555b0f84e..681092bd48 100644 --- a/testsuite/tests/roles/should_compile/all.T +++ b/testsuite/tests/roles/should_compile/all.T @@ -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']) |