summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-modules
ModeNameSize
-rw-r--r--.gitattributes0logplain
-rw-r--r--Test.ml6081logplain
-rw-r--r--aliases.ml24434logplain
-rw-r--r--anonymous.ml601logplain
-rw-r--r--applicative_functor_type.ml1968logplain
-rw-r--r--extension_constructors_errors_test.ml1895logplain
-rw-r--r--firstclass.ml2069logplain
-rw-r--r--functors.ml61967logplain
-rw-r--r--generative.ml3617logplain
-rw-r--r--illegal_permutation.ml18654logplain
-rw-r--r--inclusion_errors.ml49512logplain
-rw-r--r--inclusion_errors_elision.ml1845logplain
-rw-r--r--merge_constraint.ml10700logplain
-rw-r--r--module_type_substitution.ml6738logplain
-rw-r--r--nondep.ml1518logplain
-rw-r--r--nondep_private_abbrev.ml3395logplain
-rw-r--r--nongen.ml582logplain
-rw-r--r--normalize_path.ml214logplain
-rw-r--r--packed_module_levels.ml1054logplain
-rw-r--r--pr10298.ml491logplain
-rw-r--r--pr10399.ml1028logplain
-rw-r--r--pr5911.ml516logplain
-rw-r--r--pr6394.ml637logplain
-rw-r--r--pr6633.ml2080logplain
-rw-r--r--pr7207.ml311logplain
-rw-r--r--pr7348.ml775logplain
-rw-r--r--pr7726.ml4885logplain
-rw-r--r--pr7787.ml851logplain
-rw-r--r--pr7818.ml9278logplain
-rw-r--r--pr7851.ml2573logplain
-rw-r--r--pr8810.ml142logplain
-rw-r--r--pr9384.ml1432logplain
-rw-r--r--pr9695.ml305logplain
-rw-r--r--printing.ml1293logplain
-rw-r--r--private.ml673logplain
-rw-r--r--records_errors_test.ml14875logplain
-rw-r--r--recursive.ml275logplain
-rw-r--r--struct_include_optimisation.ml1308logplain
-rw-r--r--struct_include_optimisation.reference126logplain
-rw-r--r--unroll_private_abbrev.ml1711logplain
-rw-r--r--variants_errors_test.ml8873logplain
-rw-r--r--with_ghosts.ml1156logplain