diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-05-10 14:37:36 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-05-10 14:37:36 +0100 |
| commit | 1a43783edd3bda2b934aaedf2f68b4d0e0c5eb02 (patch) | |
| tree | e8792d6f0a3910bf77fed3b819f117ddcf321f28 /testsuite/tests/partial-sigs/should_compile | |
| parent | e24b50c3a70a247a4695a80aceba0cf351eb1e9e (diff) | |
| download | haskell-1a43783edd3bda2b934aaedf2f68b4d0e0c5eb02.tar.gz | |
Record that EqualityConstraint now works
Fixing Trac #9478
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/all.T | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr b/testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr index a3c9de1c6c..e79efecea2 100644 --- a/testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr +++ b/testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr @@ -3,5 +3,5 @@ TYPE SIGNATURES TYPE CONSTRUCTORS COERCION AXIOMS Dependent modules: [] -Dependent packages: [base-4.9.0.0, ghc-prim-0.3.1.0, - integer-gmp-0.5.1.0] +Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, + integer-gmp-1.0.0.1] diff --git a/testsuite/tests/partial-sigs/should_compile/all.T b/testsuite/tests/partial-sigs/should_compile/all.T index 57b0e3a68d..18895ad551 100644 --- a/testsuite/tests/partial-sigs/should_compile/all.T +++ b/testsuite/tests/partial-sigs/should_compile/all.T @@ -14,7 +14,7 @@ test('Either', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures test('Every', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('EveryNamed', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) # Bug -test('EqualityConstraint', expect_broken(9478), compile, ['-ddump-types -fno-warn-partial-type-signatures']) +test('EqualityConstraint', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('ExpressionSig', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('ExpressionSigNamed', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('ExtraConstraints1', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) |