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
)
solved some TODOs about Tgeneric type arguments (2)
[hiphop-php.git]
/
hphp
/
hack
/
src
/
typing
/
tree
74a2889c8b3cd32e086ca80b63d56e15c085af54
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--
1350
deferred_decl.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3399
delta.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
4994
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--
1307
internal_type_set.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
294
internal_type_set.rs
blob
|
blame
|
history
|
raw
-rw-r--r--
18651
nastInitCheck.ml
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
nast_check
tree
|
history
-rw-r--r--
2483
nast_check_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
5690
nast_visitor.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
33263
pp_type.ml
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
service
tree
|
history
-rw-r--r--
8071
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--
5397
tast.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3254
tast.rs
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
tast_check
tree
|
history
-rw-r--r--
8063
tast_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
10732
tast_env.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
3802
tast_expand.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1616
tast_type_collector.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
8776
tast_typecheck.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
8546
tast_utils.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
12870
tast_visitor.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1916
type_mapper.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2166
type_mapper_forget.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
13266
type_mapper_generic.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
9920
type_parameter_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1778
type_parameter_env.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
7254
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--
6471
type_validator.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
12815
type_visitor.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
245188
typing.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1552
typing.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
5334
typing_alias.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
237
typing_alias.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
15761
typing_arithmetic.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
29601
typing_array_access.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1113
typing_ast_print.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3449
typing_async.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3400
typing_attributes.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
10651
typing_check_decls.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
32403
typing_check_service.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1872
typing_check_utils.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
18169
typing_classes_heap.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
4258
typing_classes_heap.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
2904
typing_coercion.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
466
typing_collections_rust.rs
blob
|
blame
|
history
|
raw
-rw-r--r--
577
typing_cont_key.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
436
typing_continuations.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
894
typing_debug.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
5423
typing_deferred_members.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
32163
typing_defs.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
699
typing_defs.rs
blob
|
blame
|
history
|
raw
-rw-r--r--
16430
typing_defs_core.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
16043
typing_defs_core.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
575
typing_defs_core.rs
blob
|
blame
|
history
|
raw
-rw-r--r--
2589
typing_defs_flags.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
436
typing_defs_rust.rs
blob
|
blame
|
history
|
raw
-rw-r--r--
5126
typing_dependent_type.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2152
typing_disposable.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
5933
typing_enforceability.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
5626
typing_enum.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
54236
typing_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
12231
typing_env.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
3250
typing_env_from_def.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1012
typing_env_return_info.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2762
typing_env_types.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2061
typing_env_types.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
4828
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--
33169
typing_extends.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
817
typing_extends.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
7479
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--
2481
typing_func_terminality.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1770
typing_generic.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2401
typing_generic_constraint.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
4399
typing_generic_rules.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
11252
typing_global_inference.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1705
typing_global_inference.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
528
typing_heap.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
770
typing_heap.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
5849
typing_helpers.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
50089
typing_inference_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
7818
typing_inference_env.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
5664
typing_inheritance.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1441
typing_instantiate.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
13451
typing_intersection.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
744
typing_intersection.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
2408
typing_lazy_heap.ml
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--
1078
typing_local_types.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
19026
typing_log.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2262
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--
4052
typing_make_type.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
15576
typing_make_type.rs
blob
|
blame
|
history
|
raw
-rw-r--r--
4449
typing_memoize.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
474
typing_memoize.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
9417
typing_mutability.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1034
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--
23906
typing_object_get.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1295
typing_object_get.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
2383
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--
28664
typing_phase.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3463
typing_phase.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
4875
typing_pocket_universes.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
188
typing_pocket_universes.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
59175
typing_print.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
4197
typing_print.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
798
typing_print_ffi.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
17666
typing_reactivity.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
24029
typing_reason.ml
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--
1175
typing_requirements.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
297
typing_requirements.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
5801
typing_return.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1528
typing_return.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
10520
typing_sequencing.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
881
typing_set.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
12117
typing_shapes.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
29077
typing_solver.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1396
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--
5275
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--
1589
typing_substring.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
125607
typing_subtype.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3355
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--
3887
typing_subtype_pocket_universes.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
293
typing_subtype_pocket_universes.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
3270
typing_subtype_tconst.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
603
typing_subtype_tconst.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
15852
typing_taccess.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
513
typing_taccess.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
3188
typing_tdef.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
60598
typing_toplevel.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1176
typing_toplevel.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
1445
typing_try.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
4898
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--
24962
typing_union.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1465
typing_union.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
23596
typing_utils.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
33489
typing_variance.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
6838
typing_visibility.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
763
typing_visibility.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
4910
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