Fix #14934 by including axSub0R in typeNatCoAxiomRules
[ghc.git] / testsuite / tests / typecheck / should_compile / all.T
index c6674c9..9a2ce73 100644 (file)
@@ -188,7 +188,7 @@ test('tc179', normal, compile, [''])
 test('tc180', normal, compile, [''])
 test('tc181', normal, compile, [''])
 test('tc182', normal, compile, [''])
-test('tc183', reqlib('mtl'), compile, [''])
+test('tc183', normal, compile, [''])
 test('tc184', normal, compile, [''])
 test('tc185', normal, compile, [''])
 test('tc186', normal, compile, [''])
@@ -225,13 +225,13 @@ test('tc215', normal, compile, [''])
 # This one is very delicate, but I don't think the result really matters
 test('tc216', normal, compile, [''])
 
-test('tc217', reqlib('mtl'), compile, [''])
+test('tc217', normal, compile, [''])
 test('tc218', normal, compile, [''])
 test('tc219', normal, compile, [''])
-test('tc220', [reqlib('mtl'), reqlib('syb')], compile, [''])
+test('tc220', [reqlib('syb')], compile, [''])
 test('tc221', normal, compile, [''])
 test('tc222', normal, compile, [''])
-test('tc223', reqlib('mtl'), compile, [''])
+test('tc223', normal, compile, [''])
 test('tc224', normal, compile, [''])
 test('tc225', normal, compile, [''])
 test('tc226', normal, compile, [''])
@@ -240,7 +240,7 @@ test('tc228', normal, compile, [''])
 test('tc229', normal, compile, [''])
 test('tc230', normal, compile, [''])
 test('tc231', normal, compile, [''])
-test('tc232', reqlib('mtl'), compile, [''])
+test('tc232', normal, compile, [''])
 test('tc233', normal, compile, [''])
 test('tc234', normal, compile, [''])
 test('tc235', normal, compile, [''])
@@ -305,7 +305,7 @@ test('T1123', normal, compile, [''])
 test('T3692', normal, compile, [''])
 test('T700',  normal, compile, [''])
 test('T4361', normal, compile, [''])
-test('T4355', reqlib('mtl'), compile, [''])
+test('T4355', normal, compile, [''])
 test('T1634', normal, compile, [''])
 test('T4401', normal, compile, [''])
 test('T4404', normal, compile, ['-Wall'])
@@ -383,13 +383,16 @@ test('T7050', normal, compile, ['-O'])
 test('T7312', normal, compile, [''])
 test('T7384', normal, compile, [''])
 test('T7451', normal, compile, [''])
-test('holes', normal, compile, ['-fdefer-type-errors'])
-test('holes2', normal, compile, ['-fdefer-type-errors'])
-test('holes3', normal, compile_fail, [''])
-test('hole_constraints', normal, compile, ['-fdefer-type-errors'])
-test('hole_constraints_nested', normal, compile, ['-fdefer-type-errors'])
+test('holes', normal, compile, ['-fdefer-type-errors -fno-max-valid-substitutions'])
+test('holes2', normal, compile, ['-fdefer-type-errors -fno-max-valid-substitutions'])
+test('holes3', normal, compile_fail, ['-fno-max-valid-substitutions'])
+test('hole_constraints', normal, compile, ['-fdefer-type-errors -fno-max-valid-substitutions'])
+test('hole_constraints_nested', normal, compile, ['-fdefer-type-errors -fno-max-valid-substitutions'])
 test('valid_substitutions', [extra_files(['ValidSubs.hs'])],
-    multimod_compile, ['valid_substitutions','-fdefer-type-errors'])
+    multimod_compile, ['valid_substitutions','-fdefer-type-errors -fno-max-valid-substitutions'])
+test('valid_substitutions_interactions', normal, compile, ['-fdefer-type-errors -fno-max-valid-substitutions'])
+test('refinement_substitutions', normal, compile, ['-fdefer-type-errors -fno-max-valid-substitutions -fno-max-refinement-substitutions -frefinement-level-substitutions=2'])
+test('abstract_refinement_substitutions', normal, compile, ['-fdefer-type-errors -fno-max-valid-substitutions -fno-max-refinement-substitutions -frefinement-level-substitutions=2 -fabstract-refinement-substitutions'])
 test('T7408', normal, compile, [''])
 test('UnboxStrictPrimitiveFields', normal, compile, [''])
 test('T7541', normal, compile, [''])
@@ -512,6 +515,7 @@ test('T11339c', normal, compile, [''])
 test('T11339d', normal, compile, [''])
 test('T11974', normal, compile, [''])
 test('T12067', [], multimod_compile, ['T12067', '-v0'])
+test('T12104', normal, compile, ['-fdefer-type-errors'])
 test('T12185', normal, compile, [''])
 test('T12133', normal, compile, [''])
 test('T12381', normal, compile, [''])
@@ -529,11 +533,12 @@ test('T12734a', normal, compile_fail, [''])
 test('T12763', normal, compile, [''])
 test('T12785a', normal, compile, [''])
 test('T12797', normal, compile, [''])
+test('T12850', normal, compile, [''])
 test('T12911', normal, compile, [''])
 test('T12925', normal, compile, [''])
 test('T12919', expect_broken(12919), compile, [''])
 test('T12936', normal, compile, [''])
-test('T13050', normal, compile, ['-fdefer-type-errors'])
+test('T13050', normal, compile, ['-fdefer-type-errors -fno-max-valid-substitutions'])
 test('T13083', normal, compile, [''])
 test('T11723', normal, compile, [''])
 test('T12987', normal, compile, [''])
@@ -551,3 +556,46 @@ test('T13343', normal, compile, [''])
 test('T13458', normal, compile, [''])
 test('T13490', normal, compile, [''])
 test('T13474', normal, compile, [''])
+test('T13524', normal, compile, [''])
+test('T13509', normal, compile, [''])
+test('T13526', normal, compile, [''])
+test('T13594', normal, compile_fail, [''])
+test('T13603', normal, compile, [''])
+test('T13333', normal, compile, [''])
+test('T13585', [extra_files(['T13585.hs', 'T13585a.hs', 'T13585b.hs'])], run_command, ['$MAKE -s --no-print-directory T13585'])
+test('T13651', normal, compile_fail, [''])
+test('T13651a', normal, compile, [''])
+test('T13680', normal, compile, [''])
+test('T13785', normal, compile, [''])
+test('T13804', normal, compile, [''])
+test('T13822', expect_broken(14749), compile, [''])
+test('T13848', normal, compile, [''])
+test('T13871', normal, compile, [''])
+test('T13879', normal, compile, [''])
+test('T13881', normal, compile, [''])
+test('T13915a', normal, multimod_compile, ['T13915a', '-v0'])
+test('T13915b', normal, compile, [''])
+test('T13984', normal, compile, [''])
+test('T14128', normal, multimod_compile, ['T14128Main', '-v0'])
+test('T14149', normal, compile, [''])
+test('T14154', normal, compile, [''])
+test('T14158', normal, compile, [''])
+test('T13943', normal, compile, ['-fsolve-constant-dicts'])
+test('T14333', normal, compile, [''])
+test('T14363', normal, compile, [''])
+test('T14363a', normal, compile, [''])
+test('T7169', normal, compile, [''])
+test('T14396', [extra_files(['T14396.hs', 'T14396.hs-boot', 'T14396a.hs', 'T14396b.hs', 'T14396f.hs'])], multimod_compile, ['T14396', '-v0'])
+test('T14434', [], run_command, ['$MAKE -s --no-print-directory T14434'])
+test('MissingExportList01', normal, compile, [''])
+test('MissingExportList02', normal, compile, [''])
+test('T14488', normal, compile, [''])
+test('T14590', normal, compile, ['-fdefer-type-errors -fno-max-valid-substitutions'])
+test('T13032', normal, compile, [''])
+test('T14273', normal, compile, ['-fdefer-type-errors -fno-max-valid-substitutions'])
+test('T14732', normal, compile, [''])
+test('T14774', [], run_command, ['$MAKE -s --no-print-directory T14774'])
+test('T14763', normal, compile, [''])
+test('T14811', normal, compile, [''])
+test('T14934', [extra_files(['T14934.hs', 'T14934a.hs'])], run_command,
+               ['$MAKE -s --no-print-directory T14934'])