diff --git a/testsuite/tests/gadt/all.T b/testsuite/tests/gadt/all.T index 40f80afb08a90203e8374d20eb4d12966266f9c8..c00c1f1ee132591f060c571b4b56add46f0d5178 100644 --- a/testsuite/tests/gadt/all.T +++ b/testsuite/tests/gadt/all.T @@ -127,7 +127,7 @@ test('T20485', normal, compile, ['']) test('T20485a', normal, compile, ['']) test('T22235', normal, compile, ['']) test('T19847', normal, compile, ['']) -test('T19847a', normal, compile, ['-ddump-types']) +test('T19847a', normalise_version('base'), compile, ['-ddump-types']) test('T19847b', normal, compile, ['']) test('T23022', normal, compile, ['-dcore-lint']) test('T23023', normal, compile_fail, ['-O -dcore-lint']) # todo: move this test?