Pretty print capabilities in generic subtyping errors
[hiphop-php.git] / hphp / hack / src / typing / 
tree6f163d152c5cf330eb522fa48471af12ea85cdf5
drwxr-xr-x   ..
drwxr-xr-x - cargo
-rw-r--r-- 6801 coverage_level.ml
-rw-r--r-- 849 coverage_level_defs.ml
-rw-r--r-- 1859 coverage_level_defs.mli
-rw-r--r-- 3750 deferred_decl.ml
-rw-r--r-- 2187 deferred_decl.mli
-rw-r--r-- 3399 delta.ml
-rw-r--r-- 5161 dune
-rw-r--r-- 937 ide_tast_cache.ml
-rw-r--r-- 340 ide_tast_cache.mli
-rw-r--r-- 1286 internal_type_set.ml
-rw-r--r-- 294 internal_type_set.rs
-rw-r--r-- 19768 nastInitCheck.ml
drwxr-xr-x - nast_check
-rw-r--r-- 2638 nast_check_env.ml
-rw-r--r-- 5373 nast_visitor.ml
drwxr-xr-x - service
-rw-r--r-- 6717 stateful_aast_visitor.ml
-rw-r--r-- 50 tanySentinel.ml
-rw-r--r-- 38 tanySentinel.mli
-rw-r--r-- 5192 tast.ml
-rw-r--r-- 2904 tast.rs
drwxr-xr-x - tast_check
-rw-r--r-- 9071 tast_env.ml
-rw-r--r-- 10861 tast_env.mli
-rw-r--r-- 4085 tast_expand.ml
-rw-r--r-- 399 tast_expand.mli
-rw-r--r-- 1616 tast_type_collector.ml
-rw-r--r-- 8662 tast_typecheck.ml
-rw-r--r-- 8488 tast_utils.ml
-rw-r--r-- 11630 tast_visitor.ml
-rw-r--r-- 1916 type_mapper.ml
-rw-r--r-- 2153 type_mapper_forget.ml
-rw-r--r-- 13192 type_mapper_generic.ml
-rw-r--r-- 12709 type_parameter_env.ml
-rw-r--r-- 1983 type_parameter_env.mli
-rw-r--r-- 7503 type_parameter_env_ops.ml
-rw-r--r-- 839 type_parameter_env_ops.mli
-rw-r--r-- 5742 type_validator.ml
-rw-r--r-- 12781 type_visitor.ml
-rw-r--r-- 250010 typing.ml
-rw-r--r-- 1642 typing.mli
-rw-r--r-- 5346 typing_alias.ml
-rw-r--r-- 237 typing_alias.mli
-rw-r--r-- 15760 typing_arithmetic.ml
-rw-r--r-- 30024 typing_array_access.ml
-rw-r--r-- 1173 typing_ast_print.ml
-rw-r--r-- 3595 typing_async.ml
-rw-r--r-- 3365 typing_attributes.ml
-rw-r--r-- 12159 typing_check_decls.ml
-rw-r--r-- 41273 typing_check_service.ml
-rw-r--r-- 1951 typing_check_service.mli
-rw-r--r-- 1872 typing_check_utils.ml
-rw-r--r-- 19740 typing_classes_heap.ml
-rw-r--r-- 4524 typing_classes_heap.mli
-rw-r--r-- 1134 typing_coeffects.ml
-rw-r--r-- 3241 typing_coercion.ml
-rw-r--r-- 466 typing_collections_rust.rs
-rw-r--r-- 769 typing_const_reifiable.ml
-rw-r--r-- 288 typing_const_reifiable.mli
-rw-r--r-- 532 typing_cont_key.ml
-rw-r--r-- 436 typing_continuations.ml
-rw-r--r-- 893 typing_debug.ml
-rw-r--r-- 5423 typing_deferred_members.ml
-rw-r--r-- 30249 typing_defs.ml
-rw-r--r-- 699 typing_defs.rs
-rw-r--r-- 38877 typing_defs_core.ml
-rw-r--r-- 20309 typing_defs_core.mli
-rw-r--r-- 567 typing_defs_core.rs
-rw-r--r-- 2671 typing_defs_flags.ml
-rw-r--r-- 436 typing_defs_rust.rs
-rw-r--r-- 5553 typing_dependent_type.ml
-rw-r--r-- 2152 typing_disposable.ml
-rw-r--r-- 6104 typing_enforceability.ml
-rw-r--r-- 6438 typing_enforceable_hint.ml
-rw-r--r-- 5483 typing_enum.ml
-rw-r--r-- 440 typing_enum.mli
-rw-r--r-- 57408 typing_env.ml
-rw-r--r-- 13481 typing_env.mli
-rw-r--r-- 3030 typing_env_from_def.ml
-rw-r--r-- 1002 typing_env_from_def.mli
-rw-r--r-- 1100 typing_env_return_info.ml
-rw-r--r-- 2809 typing_env_types.ml
-rw-r--r-- 2336 typing_env_types.mli
-rw-r--r-- 4883 typing_equality_check.ml
-rw-r--r-- 1173 typing_expand.ml
-rw-r--r-- 819 typing_expand.mli
-rw-r--r-- 32063 typing_extends.ml
-rw-r--r-- 770 typing_extends.mli
-rw-r--r-- 7421 typing_exts.ml
-rw-r--r-- 5300 typing_fake_members.ml
-rw-r--r-- 1616 typing_fake_members.mli
-rw-r--r-- 2387 typing_func_terminality.ml
-rw-r--r-- 1730 typing_generic.ml
-rw-r--r-- 2526 typing_generic_constraint.ml
-rw-r--r-- 4302 typing_generic_rules.ml
-rw-r--r-- 11405 typing_global_inference.ml
-rw-r--r-- 1705 typing_global_inference.mli
-rw-r--r-- 5703 typing_helpers.ml
-rw-r--r-- 50221 typing_inference_env.ml
-rw-r--r-- 7818 typing_inference_env.mli
-rw-r--r-- 6195 typing_inheritance.ml
-rw-r--r-- 1441 typing_instantiate.mli
-rw-r--r-- 14754 typing_intersection.ml
-rw-r--r-- 744 typing_intersection.mli
-rw-r--r-- 16848 typing_kinding.ml
-rw-r--r-- 966 typing_kinding.mli
-rw-r--r-- 4596 typing_kinding_defs.ml
-rw-r--r-- 3890 typing_kinding_defs.mli
-rw-r--r-- 6456 typing_lenv.ml
-rw-r--r-- 2213 typing_lenv.mli
-rw-r--r-- 1815 typing_local_ops.ml
-rw-r--r-- 1078 typing_local_types.ml
-rw-r--r-- 20850 typing_log.ml
-rw-r--r-- 2615 typing_log.mli
-rw-r--r-- 1578 typing_log_value.ml
-rw-r--r-- 3739 typing_logic.ml
-rw-r--r-- 2278 typing_logic.rs
-rw-r--r-- 1163 typing_logic_helpers.ml
-rw-r--r-- 4963 typing_make_type.ml
-rw-r--r-- 16233 typing_make_type.rs
-rw-r--r-- 4496 typing_memoize.ml
-rw-r--r-- 474 typing_memoize.mli
-rw-r--r-- 9573 typing_mutability.ml
-rw-r--r-- 1111 typing_mutability.mli
-rw-r--r-- 2386 typing_mutability_env.ml
-rw-r--r-- 1532 typing_mutability_env.mli
-rw-r--r-- 25220 typing_object_get.ml
-rw-r--r-- 1301 typing_object_get.mli
-rw-r--r-- 2415 typing_ops.ml
-rw-r--r-- 39464 typing_ordered_solver.ml
-rw-r--r-- 366 typing_ordered_solver.mli
-rw-r--r-- 2990 typing_per_cont_env.ml
-rw-r--r-- 2709 typing_per_cont_env.mli
-rw-r--r-- 4651 typing_per_cont_ops.ml
-rw-r--r-- 4608 typing_per_cont_ops.mli
-rw-r--r-- 38904 typing_phase.ml
-rw-r--r-- 3961 typing_phase.mli
-rw-r--r-- 60842 typing_print.ml
-rw-r--r-- 4251 typing_print.mli
-rw-r--r-- 798 typing_print_ffi.ml
-rw-r--r-- 23973 typing_reactivity.ml
-rw-r--r-- 26169 typing_reason.ml
-rw-r--r-- 4824 typing_reason.mli
-rw-r--r-- 227 typing_reason.rs
-rw-r--r-- 5239 typing_regex.ml
-rw-r--r-- 349 typing_regex.mli
-rw-r--r-- 2275 typing_reified_check.ml
-rw-r--r-- 1175 typing_requirements.ml
-rw-r--r-- 297 typing_requirements.mli
-rw-r--r-- 5813 typing_return.ml
-rw-r--r-- 1504 typing_return.mli
-rw-r--r-- 10523 typing_sequencing.ml
-rw-r--r-- 889 typing_set.ml
-rw-r--r-- 12117 typing_shapes.ml
-rw-r--r-- 29454 typing_solver.ml
-rw-r--r-- 1504 typing_solver.mli
-rw-r--r-- 6386 typing_solver_utils.ml
-rw-r--r-- 810 typing_solver_utils.mli
-rw-r--r-- 5431 typing_special_fun.ml
-rw-r--r-- 310 typing_special_fun.mli
-rw-r--r-- 5981 typing_structure.ml
-rw-r--r-- 1587 typing_substring.ml
-rw-r--r-- 136813 typing_subtype.ml
-rw-r--r-- 3747 typing_subtype.mli
-rw-r--r-- 6756 typing_subtype_method.ml
-rw-r--r-- 382 typing_subtype_method.mli
-rw-r--r-- 3285 typing_subtype_tconst.ml
-rw-r--r-- 654 typing_subtype_tconst.mli
-rw-r--r-- 17719 typing_taccess.ml
-rw-r--r-- 526 typing_taccess.mli
-rw-r--r-- 3051 typing_tdef.ml
-rw-r--r-- 59640 typing_toplevel.ml
-rw-r--r-- 1176 typing_toplevel.mli
-rw-r--r-- 1405 typing_try.ml
-rw-r--r-- 4911 typing_tyvar_occurrences.ml
-rw-r--r-- 924 typing_tyvar_occurrences.mli
-rw-r--r-- 982 typing_unify.ml
-rw-r--r-- 23073 typing_union.ml
-rw-r--r-- 1465 typing_union.mli
-rw-r--r-- 20138 typing_utils.ml
-rw-r--r-- 30993 typing_variance.ml
-rw-r--r-- 1063 typing_variance.mli
-rw-r--r-- 6854 typing_visibility.ml
-rw-r--r-- 775 typing_visibility.mli
-rw-r--r-- 4900 typing_xhp.ml
-rw-r--r-- 780 typing_xhp.mli
drwxr-xr-x - write_symbol_info