Fix tests which were made to pass by "Make a smart mkAppTyM"
authorMatthew Pickering <matthewtpickering@gmail.com>
Fri, 15 Feb 2019 10:26:41 +0000 (10:26 +0000)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Sat, 16 Feb 2019 06:14:00 +0000 (01:14 -0500)
For some reason gitlab is not reporting these as failures in CI. It's
not clear to me why as the junit output looks fine.

Fixes #16112 and #16113

They were fixed by 682783828275cca5fd8bf5be5b52054c75e0e22c

testsuite/tests/dependent/should_fail/all.T
testsuite/tests/parser/should_fail/all.T
testsuite/tests/typecheck/should_fail/all.T

index a75886e..f127220 100644 (file)
@@ -9,7 +9,7 @@ test('SelfDep', normal, compile_fail, [''])
 test('BadTelescope4', normal, compile_fail, [''])
 test('RenamingStar', normal, compile_fail, [''])
 test('T11407', normal, compile_fail, [''])
-test('T11334b', when(compiler_debugged(), expect_broken(16112)), compile_fail, [''])
+test('T11334b', normal, compile_fail, [''])
 test('T11473', normal, compile_fail, [''])
 test('T11471', normal, compile_fail, [''])
 test('T12174', normal, compile_fail, [''])
index 7976c17..1a049bb 100644 (file)
@@ -115,7 +115,7 @@ test('T12610', normal, compile_fail, [''])
 test('T13450', normal, compile_fail, [''])
 test('T13450TH', normal, compile_fail, [''])
 test('T14588', normal, compile_fail, [''])
-test('T14740', when(compiler_debugged(), expect_broken(16113)), compile_fail, [''])
+test('T14740', normal, compile_fail, [''])
 test('T15209', normal, compile_fail, [''])
 
 test('NoNumericUnderscores0', normal, compile_fail, [''])
index 3f7e820..2488551 100644 (file)
@@ -143,7 +143,7 @@ test('tcfail156', normal, compile_fail, [''])
 test('tcfail157', normal, compile_fail, [''])
 # Skip tcfail158 until Trac ticket #15899 fixes the broken test
 test('tcfail158', skip, compile_fail, [''])
-test('tcfail159', when(compiler_debugged(), expect_broken(16113)), compile_fail, [''])
+test('tcfail159', normal, compile_fail, [''])
 test('tcfail160', normal, compile_fail, [''])
 test('tcfail161', normal, compile_fail, [''])
 test('tcfail162', normal, compile_fail, [''])