Test 'gadt/termination' passes#
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 16 Jun 2011 14:35:32 +0000 (15:35 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 16 Jun 2011 14:35:32 +0000 (15:35 +0100)
commiteb6f5d315a0f88a35f08e870ef25af12ad68e44b
tree1a70cc6060434646a5d4df4b1d5035fd8875b68d
parentc22dc038104d3024af011c9382f0c01b9e05ffb6
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.)
testsuite/tests/ghc-regress/gadt/all.T