gadt6 is fine now, even with DEBUG
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 22 Nov 2013 16:06:07 +0000 (16:06 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 22 Nov 2013 16:06:07 +0000 (16:06 +0000)
commitea73ef74a8e2a3c99120c974aae86eb91f15d9f9
tree0569ae608b33f912d058f5e834324b258748a282
parent67661b612c1ff2aa6a911fda2166f3aac3c5d149
gadt6 is fine now, even with DEBUG
testsuite/tests/gadt/all.T