summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-modules
ModeNameSize
-rw-r--r--.gitattributes0logplain
-rw-r--r--Test.ml6078logplain
-rw-r--r--aliases.ml24431logplain
-rw-r--r--anonymous.ml598logplain
-rw-r--r--applicative_functor_type.ml1965logplain
-rw-r--r--extension_constructors_errors_test.ml1894logplain
-rw-r--r--firstclass.ml2066logplain
-rw-r--r--functors.ml61965logplain
-rw-r--r--generative.ml3614logplain
-rw-r--r--illegal_permutation.ml18654logplain
-rw-r--r--inclusion_errors.ml49511logplain
-rw-r--r--inclusion_errors_elision.ml1840logplain
-rw-r--r--merge_constraint.ml10696logplain
-rw-r--r--module_type_substitution.ml6736logplain
-rw-r--r--nondep.ml1515logplain
-rw-r--r--nondep_private_abbrev.ml3392logplain
-rw-r--r--nongen.ml579logplain
-rw-r--r--normalize_path.ml211logplain
-rw-r--r--packed_module_levels.ml1051logplain
-rw-r--r--pr10298.ml488logplain
-rw-r--r--pr10399.ml1027logplain
-rw-r--r--pr5911.ml513logplain
-rw-r--r--pr6394.ml634logplain
-rw-r--r--pr6633.ml2077logplain
-rw-r--r--pr7207.ml308logplain
-rw-r--r--pr7348.ml772logplain
-rw-r--r--pr7726.ml4882logplain
-rw-r--r--pr7787.ml848logplain
-rw-r--r--pr7818.ml9275logplain
-rw-r--r--pr7851.ml2570logplain
-rw-r--r--pr8810.ml145logplain
-rw-r--r--pr9384.ml1429logplain
-rw-r--r--pr9695.ml302logplain
-rw-r--r--printing.ml1290logplain
-rw-r--r--private.ml670logplain
-rw-r--r--records_errors_test.ml14874logplain
-rw-r--r--recursive.ml272logplain
-rw-r--r--struct_include_optimisation.ml1305logplain
-rw-r--r--struct_include_optimisation.reference126logplain
-rw-r--r--unroll_private_abbrev.ml1708logplain
-rw-r--r--variants_errors_test.ml8870logplain
-rw-r--r--with_ghosts.ml1153logplain