[patch] GADT records test

[David Waern]

2009/7/22 Isaac Dupree <id at isaac.cedarswampstudios.org>:
> David Waern wrote:
>>
>> 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 :-)
>
> oops. here.
>
> Tue Jul 21 18:03:25 EDT 2009  Isaac Dupree <id at isaac.cedarswampstudios.org>
>  * add test for GADT records

Applied, thanks!

I also updated the output reference files so that they pass with
version 2.5.0. (I used Copy.hs).

David