diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-06-23 08:19:37 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-06-23 08:19:37 +0100 |
| commit | 11c398df7880448bf6fa074eb8c8edaecb8a1b5b (patch) | |
| tree | 4340a6fc5c1370138f2d70d647c9d906316b2efc | |
| parent | 1409f85a07d8f99651e511093819ea79079d7ae6 (diff) | |
| download | haskell-11c398df7880448bf6fa074eb8c8edaecb8a1b5b.tar.gz | |
InstEqContext and InstEqContext3 both pass now (superclass equalities work)
| -rw-r--r-- | testsuite/tests/ghc-regress/indexed-types/should_compile/all.T | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/ghc-regress/indexed-types/should_compile/all.T b/testsuite/tests/ghc-regress/indexed-types/should_compile/all.T index a5b6130d66..c28a54ae96 100644 --- a/testsuite/tests/ghc-regress/indexed-types/should_compile/all.T +++ b/testsuite/tests/ghc-regress/indexed-types/should_compile/all.T @@ -99,9 +99,9 @@ test('Col2', normal, compile, ['']) test('ColGivenCheck', normal, compile, ['']) test('ColGivenCheck2', normal, compile, ['']) -test('InstEqContext', expect_fail, compile, ['']) +test('InstEqContext', normal, compile, ['']) test('InstEqContext2', normal, compile, ['']) -test('InstEqContext3', expect_fail, compile, ['']) +test('InstEqContext3', normal, compile, ['']) test('InstContextNorm', normal, compile, ['']) |