summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/all.T
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/all.T')
-rw-r--r--testsuite/tests/typecheck/should_compile/all.T21
1 files changed, 14 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T
index 39878e3ce6..1b1cb1ec5a 100644
--- a/testsuite/tests/typecheck/should_compile/all.T
+++ b/testsuite/tests/typecheck/should_compile/all.T
@@ -168,7 +168,6 @@ test('tc164', normal, compile, [''])
test('tc165', normal, compile, [''])
test('tc166', normal, compile, [''])
test('tc167', normal, compile, [''])
-test('tc168', normal, compile_fail, [''])
test('tc169', normal, compile, [''])
test('tc170', [extra_files(['Tc170_Aux.hs'])], makefile_test, [])
@@ -237,7 +236,10 @@ test('tc227', normal, compile, [''])
test('tc228', normal, compile, [''])
test('tc229', normal, compile, [''])
test('tc230', normal, compile, [''])
-test('tc231', normalise_version('base','ghc-prim'), compile, [''])
+
+test('tc231', normalise_version('base','ghc-prim'), compile_fail, [''])
+# Could go either way (see comments in the test itself)
+
test('tc232', normal, compile, [''])
test('tc233', normal, compile, [''])
test('tc234', normal, compile, [''])
@@ -258,9 +260,6 @@ test('tc246', normal, compile, [''])
test('tc247', normal, compile, [''])
test('tc248', normal, compile, [''])
-test('FD1', normal, compile_fail, [''])
-test('FD2', normal, compile_fail, [''])
-test('FD3', normal, compile_fail, [''])
test('FD4', normal, compile, [''])
test('faxen', normal, compile, [''])
@@ -588,6 +587,7 @@ test('T13848', normal, compile, [''])
test('T13871', normal, compile, [''])
test('T13879', normal, compile, [''])
test('T13881', normal, compile, [''])
+test('T18851d', normal, compile, [''])
test('T13915a', expect_broken(15245), multimod_compile, ['T13915a', '-v0'])
test('T13915b', expect_broken(15245), compile, [''])
test('T13984', normal, compile, [''])
@@ -679,6 +679,7 @@ test('T15549b', normal, compile, [''])
test('T16188', normal, compile, [''])
test('T16204a', normal, compile, [''])
test('T16204b', normal, compile, [''])
+test('T20668', normal, compile, [''])
test('T16225', normal, compile, [''])
test('T13951', normal, compile, [''])
test('T16312', normal, compile, ['-O'])
@@ -716,7 +717,7 @@ test('T19186', normal, compile, [''])
test('T17021a', normal, compile, [''])
test('T17723', [], makefile_test, [])
test('T17772', normal, compile, [''])
-test('T19665', expect_broken(19665), compile, [''])
+test('T19665', normal, compile, [''])
test('T18005', normal, compile, [''])
test('T18023', normal, compile, [''])
test('T18036', normal, compile, [''])
@@ -739,6 +740,7 @@ test('T18118', normal, multimod_compile, ['T18118', '-v0'])
test('T18412', normal, compile, [''])
test('T18470', normal, compile, [''])
test('T18308', normal, compile, [''])
+test('T20922', normal, compile, [''])
test('T18323', normal, compile, [''])
test('T19677', normal, compile, [''])
test('T18585', normal, compile, [''])
@@ -754,7 +756,7 @@ test('T17812', normal, compile, [''])
test('T17186', normal, compile, [''])
test('CbvOverlap', normal, compile, [''])
test('InstanceGivenOverlap', normal, compile, [''])
-test('InstanceGivenOverlap2', normal, compile_fail, [''])
+test('InstanceGivenOverlap2', expect_broken(20076), compile_fail, [''])
test('T19044', normal, compile, [''])
test('T19052', normal, compile, [''])
test('LocalGivenEqs', normal, compile, [''])
@@ -811,3 +813,8 @@ test('T20946', normal, compile, [''])
test('T20996', normal, compile, [''])
test('T20732', normal, compile, [''])
test('T21010', [extra_files(['T21010A.hs', 'T21010B.hs'])], multimod_compile, ['T21010.hs', '-v0'])
+test('FunDepOrigin1', normal, compile, [''])
+test('FloatFDs', normal, compile, [''])
+test('ImplicitParamFDs', normal, compile, [''])
+test('T18406b', normal, compile, ['-ddump-tc -fprint-explicit-foralls -dsuppress-uniques -fprint-typechecker-elaboration'])
+test('T18529', normal, compile, ['-ddump-tc -fprint-explicit-foralls -dsuppress-uniques -fprint-typechecker-elaboration'])