diff options
Diffstat (limited to 'testsuite/tests/boxy/all.T')
| -rw-r--r-- | testsuite/tests/boxy/all.T | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/boxy/all.T b/testsuite/tests/boxy/all.T new file mode 100644 index 0000000000..0294d01629 --- /dev/null +++ b/testsuite/tests/boxy/all.T @@ -0,0 +1,11 @@ +# Boxy-type tests + +test('Base1', expect_broken(4295), compile, ['']) +test('Church1', expect_broken(4295), compile, ['']) +test('Church2', expect_broken(1330), compile_fail, ['']) +test('PList1', expect_broken(4295), compile, ['']) +test('PList2', expect_broken(4295), compile, ['']) +test('SystemF', expect_broken(4295), compile, ['']) +test('boxy', expect_broken(4295), compile, ['']) +test('Compose', normal, compile, ['']) +test('T2193', normal, compile_and_run, ['']) |