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)
testsuite/tests/gadt/all.T

index aa37918..d23d1fc 100644 (file)
@@ -10,7 +10,7 @@ test('gadt2', when(fast(), skip), compile_and_run, [''])
 test('gadt3', normal, compile, [''])
 test('gadt4', when(fast(), skip), compile_and_run, [''])
 test('gadt5', when(fast(), skip), compile_and_run, [''])
-test('gadt6', when(compiler_debugged(), expect_broken(8553)), compile, [''])
+test('gadt6', normal, compile, [''])
 test('gadt7', normal, compile_fail, [''])
 test('gadt8', normal, compile, [''])
 test('gadt9', normal, compile, [''])