diff options
Diffstat (limited to 'testsuite/tests/typing-misc/ocamltests')
-rw-r--r-- | testsuite/tests/typing-misc/ocamltests | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/testsuite/tests/typing-misc/ocamltests b/testsuite/tests/typing-misc/ocamltests deleted file mode 100644 index 35573f11ca..0000000000 --- a/testsuite/tests/typing-misc/ocamltests +++ /dev/null @@ -1,35 +0,0 @@ -constraints.ml -disambiguate_principality.ml -exotic_unifications.ml -inside_out.ml -is_expansive.ml -labels.ml -occur_check.ml -pat_type_sharing.ml -pattern_open.ml -polyvars.ml -pr6416.ml -pr6634.ml -pr6939-flat-float-array.ml -pr6939-no-flat-float-array.ml -pr7103.ml -pr7228.ml -pr7668_bad.ml -pr7937.ml -pr8548.ml -pr8548_split.ml -gpr2277.ml -printing.ml -records.ml -scope_escape.ml -unique_names_in_unification.ml -variance.ml -variant.ml -wellfounded.ml -empty_variant.ml -typecore_errors.ml -typecore_nolabel_errors.ml -typecore_empty_polyvariant_error.ml -typetexp_errors.ml -external_arity.ml -includeclass_errors.ml |