Don't lint erroneous programs.
[ghc.git] / testsuite / tests / typecheck / should_fail / all.T
index df71bf7..1b635cf 100644 (file)
@@ -1,4 +1,4 @@
-
+4607
 test('tcfail001', normal, compile_fail, [''])
 test('tcfail002', normal, compile_fail, [''])
 test('tcfail003', normal, compile_fail, [''])
@@ -107,7 +107,7 @@ test('tcfail122', normal, compile_fail, [''])
 test('tcfail123', normal, compile_fail, [''])
 test('tcfail124', normal, compile, [''])
 test('tcfail125', normal, compile_fail, [''])
-test('tcfail126', reqlib('mtl'), compile, [''])
+test('tcfail126', normal, compile, [''])
 test('tcfail127', normal, compile_fail, [''])
 test('tcfail128', normal, compile_fail, [''])
 test('tcfail129', normal, compile_fail, [''])
@@ -147,9 +147,9 @@ test('tcfail160', normal, compile_fail, [''])
 test('tcfail161', normal, compile_fail, [''])
 test('tcfail162', normal, compile_fail, [''])
 test('tcfail164', normal, compile_fail, [''])
-test('tcfail165', normal, compile, [''])
+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, [''])
@@ -168,9 +168,7 @@ test('tcfail182', normal, compile_fail, [''])
 test('tcfail183', normal, compile_fail, [''])
 test('tcfail184', normal, compile_fail, [''])
 test('tcfail185', normal, compile_fail, [''])
-test('tcfail186',
-     extra_clean(['Tcfail186_Help.hi', 'Tcfail186_Help.o']),
-     multimod_compile_fail, ['tcfail186', '-v0'])
+test('tcfail186', [extra_files(['Tcfail186_Help.hs'])], multimod_compile_fail, ['tcfail186', '-v0'])
 test('tcfail187', normal, compile_fail, [''])
 
 test('tcfail188', normal, compile, [''])
@@ -187,7 +185,7 @@ test('tcfail199', normal, compile_fail, [''])
 test('tcfail200', normal, compile_fail, [''])
 test('tcfail201', normal, compile_fail, [''])
 test('tcfail202', normal, compile_fail, [''])
-test('tcfail203', normal, compile_fail, [''])
+test('tcfail203', normal, compile, [''])
 test('tcfail203a', normal, compile_fail, [''])
 test('tcfail204', normal, compile_fail, [''])
 test('tcfail206', normal, compile_fail, [''])
@@ -204,19 +202,18 @@ test('T2994', normal, compile_fail, [''])
 test('T3155', normal, compile_fail, [''])
 test('T3176', normal, compile_fail, [''])
 test('T1633', normal, compile_fail, [''])
-test('T2806', normal, compile_fail, [''])
+test('T2806', normal, compile, [''])
 test('T3323', normal, compile_fail, [''])
 test('T3406', normal, compile_fail, [''])
 test('T3540', normal, compile_fail, [''])
-test('T3102', normal, compile_fail, [''])
+test('T3102', normal, compile, [''])
 test('T3613', normal, compile_fail, [''])
 test('fd-loop', normal, compile_fail, [''])
 test('T3950', normal, compile_fail, [''])
 test('T3966', normal, compile_fail, ['-O'])
 test('IPFail', normal, compile_fail, [''])
 
-test('T3468', extra_clean(['T3468.hi-boot', 'T3468.o-boot', 'T3468a.hi', 'T3468a.o']),
-     multimod_compile_fail, ['T3468', '-v0'])
+test('T3468', [], multimod_compile_fail, ['T3468', '-v0'])
 test('T2846b', normal, compile_fail, [''])
 test('FrozenErrorTests', normal, compile_fail, [''])
 test('SCLoop', normal, compile_fail, [''])
@@ -242,10 +239,6 @@ test('tcfail215', normal, compile_fail, [''])
 test('tcfail216', normal, compile_fail, [''])
 test('tcfail217', normal, compile_fail, [''])
 test('tcfail218', normal, compile_fail, [''])
-test('tcfail219', normal, multimod_compile_fail, ['tcfail219.hsig', '-sig-of "ShouldFail is base:Data.Bool"'])
-test('tcfail220', normal, multimod_compile_fail, ['tcfail220.hsig', '-sig-of "ShouldFail is base:Prelude"'])
-test('tcfail221', normal, multimod_compile_fail, ['tcfail221.hsig', '-sig-of "ShouldFail is base:Prelude"'])
-test('tcfail222', normal, multimod_compile_fail, ['tcfail222.hsig', '-sig-of "ShouldFail is base:Data.STRef"'])
 test('tcfail223', normal, compile_fail, [''])
 test('tcfail224', normal, compile_fail, [''])
 
@@ -253,7 +246,7 @@ test('SilentParametersOverlapping', normal, compile, [''])
 test('FailDueToGivenOverlapping', normal, compile_fail, [''])
 test('LongWayOverlapping', normal, compile_fail, [''])
 test('T5051', normal, compile, [''])
-test('T5236',normal,compile_fail,[''])
+test('T5236',normal,compile,[''])
 test('T5246',normal,compile_fail,[''])
 test('T5300',normal,compile_fail,[''])
 test('T5095',normal,compile_fail,[''])
@@ -278,16 +271,11 @@ test('T5957', normal, compile_fail, [''])
 test('T6001', normal, compile_fail, [''])
 test('T6022', normal, compile_fail, [''])
 test('T5853', normal, compile_fail, [''])
-test('T6018fail', extra_clean([ 'T6018fail.hi' , 'T6018fail.o'
-                              , 'T6018Afail.hi', 'T6018Afail.o'
-                              , 'T6018Bfail.hi', 'T6018Bfail.o'
-                              , 'T6018Cfail.hi', 'T6018Cfail.o'
-                              , 'T6018Dfail.hi', 'T6018Dfail.o'])
-    , multimod_compile_fail, ['T6018fail', '-no-hs-main -c'])
+test('T6018fail', [extra_files(['T6018Afail.hs', 'T6018Bfail.hs', 'T6018Cfail.hs', 'T6018Dfail.hs'])], multimod_compile_fail, ['T6018fail', '-no-hs-main -c'])
 test('T6018failclosed', normal, compile_fail, [''])
 test('T6018failclosed2', normal, compile_fail, [''])
 test('T6078', normal, compile_fail, [''])
-test('FDsFromGivens', normal, compile_fail, [''])
+test('FDsFromGivens', normal, compile, [''])
 test('FDsFromGivens2', normal, compile_fail, [''])
 test('T7019', normal, compile_fail,[''])
 test('T7019a', normal, compile_fail,[''])
@@ -327,18 +315,21 @@ test('T7989', normal, compile_fail, [''])
 test('T8034', normal, compile_fail, [''])
 test('T8142', normal, compile_fail, [''])
 test('T8262', normal, compile_fail, [''])
-test('TcCoercibleFail', [], compile_fail, [''])
+
+# TcCoercibleFail times out with the compiler is compiled with -DDEBUG.
+# This is expected (see comment in source file).
+test('TcCoercibleFail', [when(compiler_debugged(), skip)], compile_fail, [''])
+
 test('TcCoercibleFail2', [], compile_fail, [''])
 test('TcCoercibleFail3', [], compile_fail, [''])
 test('T8306', normal, compile_fail, [''])
-test('T8392a', normal, compile_fail, [''])
+test('T8392a', normal, compile, [''])
 test('T8428', normal, compile_fail, [''])
 test('T8450', normal, compile_fail, [''])
 test('T8514', normal, compile_fail, [''])
 test('ContextStack1', normal, compile_fail, ['-freduction-depth=10'])
-test('ContextStack2', normal, compile_fail, ['-freduction-depth=10'])
-test('T8570', extra_clean(['T85570a.o', 'T8570a.hi','T85570b.o', 'T8570b.hi']),
-     multimod_compile_fail, ['T8570', '-v0'])
+test('ContextStack2', normal, compile, [''])
+test('T8570', [], multimod_compile_fail, ['T8570', '-v0'])
 test('T8603', normal, compile_fail, [''])
 test('TcStaticPointersFail01', [], compile_fail, [''])
 test('TcStaticPointersFail02', [], compile_fail, [''])
@@ -370,12 +361,9 @@ test('T9858a', normal, compile_fail, [''])
 test('T9858b', normal, compile_fail, [''])
 test('T9858e', normal, compile_fail, [''])
 
-test('T10285',
-     extra_clean(['T10285a.hi', 'T10285a.o']),
-     multimod_compile_fail, ['T10285', '-v0'])
+test('T10285', [], multimod_compile_fail, ['T10285', '-v0'])
 test('T10351', normal, compile_fail, [''])
-test('T10534', extra_clean(['T10534a.hi', 'T10534a.o']),
-     multimod_compile_fail, ['T10534', '-v0'])
+test('T10534', [], multimod_compile_fail, ['T10534', '-v0'])
 test('T10495', normal, compile_fail, [''])
 test('VtaFail', normal, compile_fail, [''])
 
@@ -385,10 +373,10 @@ test('ExpandSynsFail3', normal, compile_fail, ['-fprint-expanded-synonyms'])
 test('ExpandSynsFail4', normal, compile_fail, ['-fprint-expanded-synonyms'])
 test('T10698', expect_broken(10698), compile_fail, [''])
 test('T10836', normal, compile_fail, [''])
-test('T10715', normal, compile_fail, [''])
+test('T10715', normal, compile, [''])
 test('T10715b', normal, compile_fail, [''])
 test('T10971b', normal, compile_fail, [''])
-test('T10971d', extra_clean(['T10971c.hi', 'T10971c.o']), multimod_compile_fail, ['T10971d','-v0'])
+test('T10971d', [extra_files(['T10971c.hs'])], multimod_compile_fail, ['T10971d', '-v0'])
 test('CustomTypeErrors01', normal, compile_fail, [''])
 test('CustomTypeErrors02', normal, compile_fail, [''])
 test('CustomTypeErrors03', normal, compile_fail, [''])
@@ -402,6 +390,91 @@ test('T11347', normal, compile_fail, [''])
 test('T11356', normal, compile_fail, [''])
 test('T11355', normal, compile_fail, [''])
 test('T11464', normal, compile_fail, [''])
-test('T11473', expect_broken(11473), compile_fail, [''])
 test('T11563', normal, compile_fail, [''])
 test('T11541', normal, compile_fail, [''])
+test('T11313', normal, compile_fail, [''])
+test('T11623', normal, compile_fail, [''])
+test('T11724', normal, compile_fail, [''])
+test('T11698', normal, compile_fail, [''])
+test('T11947a', normal, compile_fail, [''])
+test('T11948', normal, compile_fail, [''])
+test('T11990a', normal, compile_fail, [''])
+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('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('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('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, [''])
+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('T12918a', normal, compile_fail, [''])
+test('T12918b', normal, compile_fail, [''])
+test('T12921', normal, compile_fail, [''])
+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', normal, compile_fail, [''])
+test('T13105', normal, compile_fail, [''])
+test('LevPolyBounded', normal, compile_fail, [''])
+test('T13487', normal, compile, [''])
+test('T13292', normal, multimod_compile, ['T13292', '-v0 -fdefer-type-errors'])
+test('T13300', normal, compile_fail, [''])
+test('T13311', normal, compile_fail, [''])
+test('T12709', normal, compile_fail, [''])
+test('T13446', normal, compile_fail, [''])
+test('T13506', normal, compile_fail, [''])
+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('T13821B', expect_broken(13821), backpack_typecheck_fail, [''])
+test('T13983', normal, compile_fail, [''])
+test('T13530', normal, compile_fail, [''])
+test('T12373', normal, compile_fail, [''])
+test('T13610', normal, compile_fail, [''])
+test('T11672', normal, compile_fail, [''])
+test('T13819', normal, compile_fail, [''])
+test('T13902', normal, compile_fail, [''])
+test('T14000', normal, compile_fail, [''])
+test('T14055', normal, compile_fail, [''])
+test('T13909', normal, 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, [''])
+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('T15361', normal, compile_fail, [''])
+test('T15527', normal, compile_fail, [''])
+test('T15767', normal, compile_fail, [''])
+test('T15796', normal, compile_fail, [''])