[patch] GADT records test

[David Waern]

2009/7/22 Isaac Dupree <id at isaac.cedarswampstudios.org>:
> okay, I made a patch to add a test, tell me if I did it right.

I think you forgot to attach it :-)

> Although using runtests, it ended with this output for me: is something
> wrong here?:
>
> Output for Bug2.hs has changed! Exiting with diff:
> 89c89
> < > version 2.4.2</TD
> ---
>> > version 2.5.0</TD

The test suite was just not updated when the version was bumped.
Perhaps we should force people to run the test suite before committing
patches :-)

David