summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-misc
ModeNameSize
-rw-r--r--apply_non_function.ml1988logplain
-rw-r--r--build_as_type.ml3151logplain
-rw-r--r--constraints.ml11820logplain
-rw-r--r--deep.ml2673logplain
-rw-r--r--disambiguate_principality.ml11186logplain
-rw-r--r--distant_errors.ml710logplain
-rw-r--r--empty_ppx.ml370logplain
-rw-r--r--empty_variant.ml1651logplain
-rw-r--r--enrich_typedecl.ml6296logplain
-rw-r--r--exotic_unifications.ml733logplain
-rw-r--r--external_arity.ml589logplain
-rw-r--r--filter_params.ml110logplain
-rw-r--r--gpr2277.ml900logplain
-rw-r--r--includeclass_errors.ml6185logplain
-rw-r--r--injectivity.ml13112logplain
-rw-r--r--inside_out.ml1911logplain
-rw-r--r--is_expansive.ml180logplain
-rw-r--r--labels.ml4372logplain
-rw-r--r--mapping.ml140logplain
-rw-r--r--normalize_type.ml364logplain
-rw-r--r--occur_check.ml739logplain
-rw-r--r--optbinders.ml3296logplain
-rw-r--r--pat_type_sharing.ml361logplain
-rw-r--r--pattern_open.ml5880logplain
-rw-r--r--polyvars.ml7834logplain
-rw-r--r--pr6416.ml11781logplain
-rw-r--r--pr6634.ml807logplain
-rw-r--r--pr6939-flat-float-array.ml662logplain
-rw-r--r--pr6939-no-flat-float-array.ml511logplain
-rw-r--r--pr7103.ml1165logplain
-rw-r--r--pr7228.ml489logplain
-rw-r--r--pr7668_bad.ml2575logplain
-rw-r--r--pr7712.ml326logplain
-rw-r--r--pr7937.ml1356logplain
-rw-r--r--pr8548.ml4596logplain
-rw-r--r--pr8548_split.ml677logplain
-rw-r--r--printing.ml3495logplain
-rw-r--r--range.ml390logplain
-rw-r--r--range_intf.ml377logplain
-rw-r--r--ranged.ml319logplain
-rw-r--r--ranged_intf.ml133logplain
-rw-r--r--records.ml7587logplain
-rw-r--r--scope_escape.ml438logplain
-rw-r--r--typecore_empty_polyvariant_error.compilers.reference163logplain
-rw-r--r--typecore_empty_polyvariant_error.ml354logplain
-rw-r--r--typecore_errors.ml10582logplain
-rw-r--r--typecore_nolabel_errors.ml3712logplain
-rw-r--r--typetexp_errors.ml951logplain
-rw-r--r--unbound_type_variables.ml1376logplain
-rw-r--r--unique_names_in_unification.ml1943logplain
-rw-r--r--variance.ml762logplain
-rw-r--r--variant.ml4286logplain
-rw-r--r--wellfounded.ml410logplain
-rw-r--r--wellfounded11150.ml1872logplain
-rw-r--r--wrong_kind.ml5319logplain