summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-sigsubst
ModeNameSize
-rw-r--r--mpr7852.mli181logplain
-rw-r--r--sig_local_aliases.ml2228logplain
-rw-r--r--sig_local_aliases_syntax_errors.compilers.reference946logplain
-rw-r--r--sig_local_aliases_syntax_errors.ml562logplain
-rw-r--r--sigsubst.ml10537logplain
-rw-r--r--test_functor.ml208logplain
-rw-r--r--test_loc_modtype_type_eq.ml96logplain
-rw-r--r--test_loc_modtype_type_subst.ml97logplain
-rw-r--r--test_loc_type_eq.ml77logplain
-rw-r--r--test_loc_type_subst.ml78logplain
-rw-r--r--test_locations.compilers.reference3060logplain
-rw-r--r--test_locations.ml801logplain