[commit: testsuite] master: Test 'gadt/termination' passes# (1665f0c)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/1665f0c4c6959f86b5a531a182ff43262af0cd28

>---------------------------------------------------------------

commit 1665f0c4c6959f86b5a531a182ff43262af0cd28
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Jun 16 15:35:32 2011 +0100

    Test 'gadt/termination' passes#
    
    We thought that Jim Apple's (rather complicated) test
    'gadt/termination' was failing because of the move from "left/right"
    in coercions to "Nth"; see the comments in Trac #1999.
    
    However it turns that the test was failing because of an outright bug
    in the 7.2 type checker, fixed by Changeset
    4ed2634bf597d7e1fe00709b4556d199ebd66bde.  (This bug meant that type
    synonyms in given constraints weren't being expanded properly.
    See test typecheck/should_compile/GivenTypeSynonym.)
    
    So now this bug is fixed, Jim's program compiles again!  (We were
    too quick to assume the problem was with the change to FC.)

>---------------------------------------------------------------

 tests/ghc-regress/gadt/all.T |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/tests/ghc-regress/gadt/all.T b/tests/ghc-regress/gadt/all.T
index c4398fb..83f0836 100644
--- a/tests/ghc-regress/gadt/all.T
+++ b/tests/ghc-regress/gadt/all.T
@@ -70,7 +70,7 @@ test('karl2', normal, compile, [''])
 test('data1', normal, compile, [''])
 test('data2', normal, compile, [''])
 
-test('termination', expect_broken(1999), compile, [''])
+test('termination', normal, compile, [''])
 test('set', normal, compile, [''])
 test('scoped', normal, compile, [''])
 test('gadt-escape1', normal, compile, [''])