diff options
Diffstat (limited to 'testsuite/tests/rep-poly/all.T')
-rw-r--r-- | testsuite/tests/rep-poly/all.T | 83 |
1 files changed, 83 insertions, 0 deletions
diff --git a/testsuite/tests/rep-poly/all.T b/testsuite/tests/rep-poly/all.T new file mode 100644 index 0000000000..51038a56e8 --- /dev/null +++ b/testsuite/tests/rep-poly/all.T @@ -0,0 +1,83 @@ + +test('T11473', normal, compile_fail, ['']) +test('T11724', normal, compile_fail, ['']) +test('T12709', normal, compile_fail, ['']) +test('T12973', normal, compile_fail, ['']) +test('T13105', expect_broken(17201), compile, ['']) +test('T13233', normal, compile_fail, ['']) +test('T13929', normal, compile_fail, ['']) +test('T14561', normal, compile_fail, ['']) +test('T14561b', normal, compile_fail, ['']) +test('T14765', normal, compile_fail, ['']) +test('T17021', expect_broken(17201), compile, ['']) +test('T17360', normal, compile_fail, ['']) +test('T17536', expect_broken(17536), compile, ['']) +test('T17536b', expect_broken(17201), compile, ['']) +test('T17817', normal, compile_fail, ['']) +test('T18170a', [extra_files(['T18170c.hs'])], multimod_compile, ['T18170a.hs', '-v0']) +test('T18170b', [extra_files(['T18170c.hs']), expect_broken(19893)], multimod_compile_fail, ['T18170b.hs', '-v0']) +# T18170b isn't actually broken, but it causes a Core Lint error +# even though the program is (correctly) rejected by the typechecker +test('T18481', normal, compile, ['']) +test('T18481a', normal, compile, ['']) +test('T18534', normal, compile_fail, ['']) +test('T19615', normal, compile_fail, ['']) +test('T19709a', normal, compile_fail, ['']) +test('T19709b', normal, compile_fail, ['']) +test('T20113', normal, compile_fail, ['']) +test('T20277', normal, compile_fail, ['']) +test('T20330a', normal, compile, ['']) +test('T20330b', normal, compile, ['']) +test('T20363', normal, compile, ['']) +test('T20363b', expect_broken(17201), compile, ['']) +test('T20423', normal, compile_fail, ['']) +test('T20423b', normal, compile_fail, ['']) +test('T20426', normal, compile_fail, ['']) + +test('LevPolyLet', normal, compile_fail, ['']) +test('PandocArrowCmd', normal, compile, ['']) +test('RepPolyApp', normal, compile_fail, ['']) +test('RepPolyArrowCmd', normal, compile_fail, ['']) +test('RepPolyArrowFun', normal, compile_fail, ['']) +test('RepPolyBackpack1', normal, backpack_compile_fail, ['']) +test('RepPolyBackpack2', normal, backpack_run, ['']) +test('RepPolyBackpack3', normal, backpack_compile_fail, ['']) +test('RepPolyBackpack4', normal, backpack_run, ['']) +test('RepPolyBackpack5', normal, backpack_run, ['']) +test('RepPolyBinder', normal, compile_fail, ['']) +test('RepPolyClassMethod', normal, compile_fail, ['']) +test('RepPolyDeferred', normal, compile_fail, ['']) +test('RepPolyDoBind', normal, compile_fail, ['']) +test('RepPolyDoBody1', normal, compile_fail, ['']) +test('RepPolyDoBody2', normal, compile_fail, ['']) +test('RepPolyDoReturn', normal, compile, ['']) +test('RepPolyLeftSection1', normal, compile, ['']) +test('RepPolyLeftSection2', normal, compile_fail, ['']) +test('RepPolyMagic', normal, compile_fail, ['']) +test('RepPolyMatch', normal, compile_fail, ['']) +test('RepPolyMcBind', normal, compile_fail, ['']) +test('RepPolyMcBody', normal, compile_fail, ['']) +test('RepPolyMcGuard', normal, compile_fail, ['']) +test('RepPolyNewtypePat1', normal, compile_fail, ['']) +test('RepPolyNewtypePat2', normal, compile, ['']) +test('RepPolyNPlusK', normal, compile_fail, ['']) +test('RepPolyPatBind', normal, compile_fail, ['']) +test('RepPolyPatSynArg', normal, compile_fail, ['']) +test('RepPolyPatSynRes', normal, compile_fail, ['']) +test('RepPolyPatSynUnliftedNewtype', normal, compile_fail, ['']) +test('RepPolyRecordPattern', normal, compile_fail, ['']) +test('RepPolyRecordUpdate', normal, compile_fail, ['']) +test('RepPolyRightSection', normal, compile_fail, ['']) +test('RepPolyRule1', normal, compile_fail, ['']) +test('RepPolyRule2', normal, compile_fail, ['']) +test('RepPolyRule3', expect_broken(17201), compile, ['']) +test('RepPolySum', normal, compile_fail, ['']) +test('RepPolyTuple', normal, compile_fail, ['']) +test('RepPolyTupleSection', normal, compile_fail, ['']) +test('RepPolyUnboxedPatterns', normal, compile_fail, ['']) +test('RepPolyUnliftedDatatype', normal, compile, ['']) +test('RepPolyWildcardPattern', normal, compile_fail, ['']) +test('RepPolyWrappedVar', normal, compile_fail, ['']) +test('RepPolyWrappedVar2', normal, compile, ['']) +test('UnliftedNewtypesCoerceFail', normal, compile_fail, ['']) +test('UnliftedNewtypesLevityBinder', normal, compile_fail, ['']) |