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