diff options
Diffstat (limited to 'testsuite/tests/gadt/all.T')
| -rw-r--r-- | testsuite/tests/gadt/all.T | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/gadt/all.T b/testsuite/tests/gadt/all.T index e68d1264a4..1b46565fd8 100644 --- a/testsuite/tests/gadt/all.T +++ b/testsuite/tests/gadt/all.T @@ -11,12 +11,12 @@ test('gadt3', normal, compile, ['']) test('gadt4', skip_if_fast, compile_and_run, ['']) test('gadt5', skip_if_fast, compile_and_run, ['']) test('gadt6', normal, compile, ['']) -test('gadt7', normal, compile, ['']) +test('gadt7', normal, compile_fail, ['']) test('gadt8', normal, compile, ['']) test('gadt9', normal, compile, ['']) test('gadt10', normal, compile_fail, ['']) test('gadt11', normal, compile_fail, ['']) -test('gadt13', normal, compile, ['']) +test('gadt13', normal, compile_fail, ['']) test('gadt14', normal, compile, ['']) test('gadt15', normal, compile, ['']) test('gadt16', normal, compile, ['']) @@ -73,7 +73,7 @@ test('data2', normal, compile, ['']) test('termination', normal, compile, ['']) test('set', normal, compile, ['']) test('scoped', normal, compile, ['']) -test('gadt-escape1', normal, compile, ['']) +test('gadt-escape1', normal, compile_fail, ['']) # New ones from Dimitrios |