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('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, [''])