diff options
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/all.T')
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/simplCore/should_compile/all.T b/testsuite/tests/simplCore/should_compile/all.T index 3b75f2b7a5..6802a4b182 100644 --- a/testsuite/tests/simplCore/should_compile/all.T +++ b/testsuite/tests/simplCore/should_compile/all.T @@ -376,3 +376,4 @@ test('T20200', normal, compile, ['']) test('T20200a', normal, compile, ['-O2']) test('T20200b', normal, compile, ['-O2']) test('T20200KG', [extra_files(['T20200KGa.hs', 'T20200KG.hs-boot'])], multimod_compile, ['T20200KG', '-v0 -O2 -fspecialise-aggressively']) +test('T20200AgdaDatatypes', [extra_files(['T20200AgdaBase.hs','T20200AgdaInternalToAbstract.hs','T20200AgdaPretty.hs','T20200AgdaDatatypes.hs-boot'])], multimod_compile, ['T20200AgdaDatatypes', '-v0 -O']) |