Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862)
[ghc.git] / testsuite / tests / typecheck / should_fail / all.T
index 5079397..0b0ae59 100644 (file)
@@ -1,4 +1,3 @@
-
 test('tcfail001', normal, compile_fail, [''])
 test('tcfail002', normal, compile_fail, [''])
 test('tcfail003', normal, compile_fail, [''])
@@ -60,7 +59,7 @@ test('tcfail068', normal, compile_fail, [''])
 test('tcfail069', normal, compile_fail, [''])
 test('tcfail070', normal, compile_fail, [''])
 test('tcfail071', normal, compile, [''])
-test('tcfail072', normal, compile_fail, [''])
+test('tcfail072', normalise_fun(normalise_errmsg), compile_fail, [''])
 test('tcfail073', normal, compile_fail, [''])
 test('tcfail075', normal, compile_fail, [''])
 test('tcfail076', normal, compile_fail, [''])
@@ -149,7 +148,7 @@ test('tcfail162', normal, compile_fail, [''])
 test('tcfail164', normal, compile_fail, [''])
 test('tcfail165', normal, compile_fail, [''])
 test('tcfail166', normal, compile_fail, [''])
-test('tcfail167', normal, compile_fail, [''])
+test('tcfail167', normal, compile_fail, ['-Werror'])
 test('tcfail168', normal, compile_fail, [''])
 test('tcfail169', normal, compile_fail, [''])
 test('tcfail170', normal, compile_fail, [''])
@@ -164,7 +163,7 @@ test('tcfail178', normal, compile_fail, [''])
 test('tcfail179', normal, compile_fail, [''])
 test('tcfail180', normal, compile_fail, [''])
 test('tcfail181', normal, compile_fail, [''])
-test('tcfail182', normal, compile_fail, [''])
+test('tcfail182', normalise_version('base'), compile_fail, [''])
 test('tcfail183', normal, compile_fail, [''])
 test('tcfail184', normal, compile_fail, [''])
 test('tcfail185', normal, compile_fail, [''])
@@ -241,6 +240,7 @@ test('tcfail217', normal, compile_fail, [''])
 test('tcfail218', normal, compile_fail, [''])
 test('tcfail223', normal, compile_fail, [''])
 test('tcfail224', normal, compile_fail, [''])
+test('tcfail225', normal, compile_fail, [''])
 
 test('SilentParametersOverlapping', normal, compile, [''])
 test('FailDueToGivenOverlapping', normal, compile_fail, [''])
@@ -249,7 +249,7 @@ test('T5051', normal, compile, [''])
 test('T5236',normal,compile,[''])
 test('T5246',normal,compile_fail,[''])
 test('T5300',normal,compile_fail,[''])
-test('T5095',normal,compile_fail,[''])
+test('T5095',normalise_fun(normalise_errmsg),compile_fail,[''])
 test('T1897a',normal,compile_fail,[''])
 
 test('AssocTyDef01', normal, compile_fail, [''])
@@ -332,7 +332,7 @@ test('ContextStack2', normal, compile, [''])
 test('T8570', [], multimod_compile_fail, ['T8570', '-v0'])
 test('T8603', normal, compile_fail, [''])
 test('TcStaticPointersFail01', [], compile_fail, [''])
-test('TcStaticPointersFail02', [], compile_fail, [''])
+test('TcStaticPointersFail02', normalise_version('base'), compile_fail, [''])
 test('TcStaticPointersFail03', [], compile_fail, [''])
 test('T8806', normal, compile_fail, [''])
 test('T8912', normal, compile_fail, [''])
@@ -390,6 +390,7 @@ test('T11347', normal, compile_fail, [''])
 test('T11356', normal, compile_fail, [''])
 test('T11355', normal, compile_fail, [''])
 test('T11464', normal, compile_fail, [''])
+test('T11514', normal, compile_fail, [''])
 test('T11563', normal, compile_fail, [''])
 test('T11541', normal, compile_fail, [''])
 test('T11313', normal, compile_fail, [''])
@@ -403,18 +404,24 @@ test('T11990b', normal, compile_fail, [''])
 test('T12035', [], multimod_compile_fail, ['T12035', '-v0'])
 test('T12035j', [extra_files(['T12035.hs', 'T12035a.hs', 'T12035.hs-boot']),
                  req_smp], multimod_compile_fail, ['T12035', '-j2 -v0'])
+test('T12045b', normal, compile_fail, [''])
+test('T12045c', normal, compile_fail, [''])
 test('T12063', [expect_broken(12063)], multimod_compile_fail, ['T12063', '-v0'])
 test('T12083a', normal, compile_fail, [''])
 test('T12083b', normal, compile_fail, [''])
 test('T11974b', normal, compile_fail, [''])
+test('T12102', normal, compile, [''])
+test('T12102b', normal, compile_fail, [''])
 test('T12151', normal, compile_fail, [''])
 test('T7437', normal, compile_fail, [''])
 test('T12177', normal, compile_fail, [''])
 test('T12406', normal, compile_fail, [''])
 test('T12170a', normal, compile_fail, [''])
 test('T12124', normal, compile_fail, [''])
+test('T12430', normal, compile_fail, [''])
 test('T12589', normal, compile_fail, [''])
 test('T12529', normal, compile_fail, [''])
+test('T12563', normal, compile_fail, [''])
 test('T12648', normal, compile_fail, [''])
 test('T12729', normal, compile_fail, [''])
 test('T12785b', normal, compile_fail, [''])
@@ -422,6 +429,7 @@ test('T12803', normal, compile_fail, [''])
 test('T12042', [extra_files(['T12042.hs', 'T12042a.hs', 'T12042.hs-boot'])], multimod_compile_fail, ['T12042', ''])
 test('T12966', normal, compile_fail, [''])
 test('T12837', normal, compile_fail, [''])
+test('T12906', normal, compile_fail, [''])
 test('T12918a', normal, compile_fail, [''])
 test('T12918b', normal, compile_fail, [''])
 test('T12921', normal, compile_fail, [''])
@@ -429,7 +437,7 @@ test('T12947', normal, compile_fail, [''])
 test('T12973', normal, compile_fail, [''])
 test('StrictBinds', normal, compile_fail, [''])
 test('T13068', [extra_files(['T13068.hs', 'T13068a.hs', 'T13068.hs-boot', 'T13068m.hs'])], multimod_compile_fail, ['T13068m', ''])
-test('T13075', expect_broken(13075), compile_fail, [''])
+test('T13075', normal, compile_fail, [''])
 test('T13105', normal, compile_fail, [''])
 test('LevPolyBounded', normal, compile_fail, [''])
 test('T13487', normal, compile, [''])
@@ -443,7 +451,7 @@ test('T13611', expect_broken(13611), compile_fail, [''])
 test('T13320', normal, compile_fail, [''])
 test('T13640', normal, compile_fail, [''])
 test('T13677', normal, compile_fail, [''])
-test('T13821A', expect_broken(13821), run_command, ['$MAKE -s --no-print-directory T13821A'])
+test('T13821A', expect_broken(13821), makefile_test, ['T13821A'])
 test('T13821B', expect_broken(13821), backpack_typecheck_fail, [''])
 test('T13983', normal, compile_fail, [''])
 test('T13530', normal, compile_fail, [''])
@@ -452,9 +460,80 @@ test('T13610', normal, compile_fail, [''])
 test('T11672', normal, compile_fail, [''])
 test('T13819', normal, compile_fail, [''])
 test('T13902', normal, compile_fail, [''])
-test('T11963', normal, compile_fail, [''])
 test('T14000', normal, compile_fail, [''])
 test('T14055', normal, compile_fail, [''])
 test('T13909', normal, compile_fail, [''])
-test('T13929', expect_broken(13929), compile_fail, [''])
+test('T13929', normal, compile_fail, [''])
+test('T14048a', normal, compile_fail, [''])
+test('T14048b', normal, compile_fail, [''])
+test('T14048c', normal, compile_fail, [''])
 test('T14232', normal, compile_fail, [''])
+test('T14325', normal, compile_fail, [''])
+test('T14350', normal, compile_fail, [''])
+test('T14390', normal, compile_fail, [''])
+test('MissingExportList03', normal, compile_fail, [''])
+test('T14618', normal, compile_fail, [''])
+test('T14607', normal, compile_fail, [''])
+test('T14605', normal, compile_fail, [''])
+test('T14761a', normal, compile_fail, [''])
+test('T14761b', normal, compile_fail, [''])
+test('T14884', normal, compile_fail, [''])
+test('T14904a', normal, compile_fail, [''])
+test('T14904b', normal, compile_fail, [''])
+test('T15067', normal, compile_fail, [''])
+test('T15330', normal, compile_fail, [''])
+test('T15361', normal, compile_fail, [''])
+test('T15438', normal, compile_fail, [''])
+test('T15515', normal, compile_fail, [''])
+test('T15523', normal, compile_fail, ['-O'])
+test('T15527', normal, compile_fail, [''])
+test('T15552', normal, compile, [''])
+test('T15552a', normal, compile_fail, [''])
+test('T15592a', normal, compile_fail, [''])
+test('T15629', normal, compile_fail, [''])
+test('T15767', normal, compile_fail, [''])
+test('T15648', [extra_files(['T15648a.hs'])], multimod_compile_fail, ['T15648', '-v0 -fprint-equality-relations'])
+test('T15793', normal, compile_fail, [''])
+test('T15796', normal, compile_fail, [''])
+test('T15807', normal, compile_fail, [''])
+test('T15954', normal, compile_fail, [''])
+test('T15962', normal, compile_fail, [''])
+test('T16074', normal, compile_fail, [''])
+test('T15797', normal, compile_fail, [''])
+test('T15799', normal, compile_fail, [''])
+test('T15801', normal, compile_fail, [''])
+test('T15816', normal, compile_fail, [''])
+test('T15862', normal, compile_fail, [''])
+test('T16059a', normal, compile_fail, [''])
+test('T16059c', [extra_files(['T16059b.hs'])], multimod_compile_fail,
+    ['T16059c', '-v0'])
+test('T16059d', [extra_files(['T16059b.hs'])], multimod_compile_fail,
+    ['T16059d', '-v0'])
+test('T16059e', [extra_files(['T16059b.hs'])], multimod_compile_fail,
+    ['T16059e', '-v0'])
+test('T16255', normal, compile_fail, [''])
+test('T16204c', normal, compile_fail, [''])
+test('T16394', normal, compile_fail, [''])
+test('T16414', normal, compile_fail, [''])
+test('T16456', normal, compile_fail, ['-fprint-explicit-foralls'])
+test('T16627', normal, compile_fail, [''])
+test('T502', normal, compile_fail, [''])
+test('T16517', normal, compile_fail, [''])
+test('T15883', normal, compile_fail, [''])
+test('T15883b', normal, compile_fail, [''])
+test('T15883c', normal, compile_fail, [''])
+test('T15883d', normal, compile_fail, [''])
+test('T15883e', normal, compile_fail, [''])
+test('UnliftedNewtypesFail', normal, compile_fail, [''])
+test('UnliftedNewtypesNotEnabled', normal, compile_fail, [''])
+test('UnliftedNewtypesCoerceFail', normal, compile_fail, [''])
+test('UnliftedNewtypesInstanceFail', normal, compile_fail, [''])
+test('UnliftedNewtypesInfinite', normal, compile_fail, ['-fprint-explicit-runtime-reps'])
+test('UnliftedNewtypesLevityBinder', normal, compile_fail, [''])
+test('UnliftedNewtypesOverlap', normal, compile_fail, [''])
+test('UnliftedNewtypesFamilyKindFail1', normal, compile_fail, [''])
+test('UnliftedNewtypesFamilyKindFail2', normal, compile_fail, [''])
+test('UnliftedNewtypesConstraintFamily', normal, compile_fail, [''])
+test('UnliftedNewtypesMismatchedKind', normal, compile_fail, [''])
+test('UnliftedNewtypesMismatchedKindRecord', normal, compile_fail, [''])
+test('UnliftedNewtypesMultiFieldGadt', normal, compile_fail, [''])