summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-misc
ModeNameSize
-rw-r--r--apply_non_function.ml3433logplain
-rw-r--r--build_as_type.ml3148logplain
-rw-r--r--constraints.ml11817logplain
-rw-r--r--deep.ml2670logplain
-rw-r--r--disambiguate_principality.ml11183logplain
-rw-r--r--distant_errors.ml708logplain
-rw-r--r--empty_ppx.ml370logplain
-rw-r--r--empty_variant.ml1648logplain
-rw-r--r--enrich_typedecl.ml6293logplain
-rw-r--r--exotic_unifications.ml730logplain
-rw-r--r--external_arity.ml586logplain
-rw-r--r--filter_params.ml107logplain
-rw-r--r--gpr2277.ml897logplain
-rw-r--r--includeclass_errors.ml6182logplain
-rw-r--r--injectivity.ml13109logplain
-rw-r--r--inside_out.ml1908logplain
-rw-r--r--is_expansive.ml177logplain
-rw-r--r--labels.ml4369logplain
-rw-r--r--mapping.ml140logplain
-rw-r--r--normalize_type.ml361logplain
-rw-r--r--occur_check.ml736logplain
-rw-r--r--optbinders.ml3293logplain
-rw-r--r--pat_type_sharing.ml358logplain
-rw-r--r--pattern_open.ml5877logplain
-rw-r--r--polyvars.ml7831logplain
-rw-r--r--pr6416.ml11781logplain
-rw-r--r--pr6634.ml803logplain
-rw-r--r--pr6939-flat-float-array.ml655logplain
-rw-r--r--pr6939-no-flat-float-array.ml506logplain
-rw-r--r--pr7103.ml1162logplain
-rw-r--r--pr7228.ml486logplain
-rw-r--r--pr7668_bad.ml2572logplain
-rw-r--r--pr7712.ml323logplain
-rw-r--r--pr7937.ml1353logplain
-rw-r--r--pr8548.ml4593logplain
-rw-r--r--pr8548_split.ml770logplain
-rw-r--r--printing.ml3492logplain
-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.ml7584logplain
-rw-r--r--scope_escape.ml435logplain
-rw-r--r--typecore_empty_polyvariant_error.compilers.reference163logplain
-rw-r--r--typecore_empty_polyvariant_error.ml353logplain
-rw-r--r--typecore_errors.ml10579logplain
-rw-r--r--typecore_nolabel_errors.ml3710logplain
-rw-r--r--typetexp_errors.ml1693logplain
-rw-r--r--unbound_type_variables.ml1373logplain
-rw-r--r--unique_names_in_unification.ml1939logplain
-rw-r--r--variance.ml759logplain
-rw-r--r--variant.ml4283logplain
-rw-r--r--wellfounded.ml407logplain
-rw-r--r--wellfounded11150.ml1872logplain
-rw-r--r--wrong_kind.ml5316logplain