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
)
Enforce Pos_or_decl.t in reasons for decl types
[hiphop-php.git]
/
hphp
/
hack
/
src
/
typing
/
tree
a60b73712bf328ce5e83e225c5a3177cbf696a6f
drwxr-xr-x
..
drwxr-xr-x
-
cargo
tree
|
history
-rw-r--r--
6796
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--
5099
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--
19802
nastInitCheck.ml
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
nast_check
tree
|
history
-rw-r--r--
1752
nast_check_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
5093
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--
4431
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--
8436
tast_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
10506
tast_env.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
4064
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--
8678
tast_typecheck.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
8624
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--
13424
type_mapper_generic.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
7701
type_mapper_generic.mli
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--
7530
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--
5752
type_validator.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
13164
type_visitor.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
6159
type_visitor.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
257395
typing.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1972
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--
16374
typing_arithmetic.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
30496
typing_array_access.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
917
typing_ast_print.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3637
typing_async.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
724
typing_async.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
3365
typing_attributes.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
11730
typing_check_decls.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
817
typing_check_decls.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
42713
typing_check_service.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2036
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--
4727
typing_classes_heap.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
1662
typing_coeffects.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
585
typing_coeffects.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
4863
typing_coercion.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
466
typing_collections_rust.rs
blob
|
blame
|
history
|
raw
-rw-r--r--
772
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--
5422
typing_deferred_members.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
34639
typing_defs.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
699
typing_defs.rs
blob
|
blame
|
history
|
raw
-rw-r--r--
36850
typing_defs_core.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
20318
typing_defs_core.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
567
typing_defs_core.rs
blob
|
blame
|
history
|
raw
-rw-r--r--
2972
typing_defs_flags.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
436
typing_defs_rust.rs
blob
|
blame
|
history
|
raw
-rw-r--r--
5834
typing_dependent_type.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
717
typing_dependent_type.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
1691
typing_disposable.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
6240
typing_enforceability.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
849
typing_enforceability.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
6906
typing_enforceable_hint.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
394
typing_enforceable_hint.mli
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--
56765
typing_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
13335
typing_env.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
3081
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--
903
typing_env_return_info.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2604
typing_env_types.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2189
typing_env_types.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
4900
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--
35435
typing_extends.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
800
typing_extends.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
7421
typing_exts.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
5309
typing_fake_members.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1616
typing_fake_members.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
2316
typing_func_terminality.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--
442
typing_generic_rules.mli
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--
5737
typing_helpers.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
48697
typing_inference_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
7592
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--
14509
typing_intersection.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
744
typing_intersection.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
16812
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--
5791
typing_lenv.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2213
typing_lenv.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
7002
typing_local_ops.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1078
typing_local_types.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
19469
typing_log.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2526
typing_log.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
1578
typing_log_value.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3567
typing_logic.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1536
typing_logic.mli
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--
5189
typing_make_type.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
16180
typing_make_type.rs
blob
|
blame
|
history
|
raw
-rw-r--r--
4880
typing_memoize.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
474
typing_memoize.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
27288
typing_object_get.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1513
typing_object_get.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
2356
typing_ops.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1203
typing_ops.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
39466
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--
38227
typing_phase.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3993
typing_phase.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
63548
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--
30811
typing_reason.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
7500
typing_reason.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
227
typing_reason.rs
blob
|
blame
|
history
|
raw
-rw-r--r--
5231
typing_regex.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
349
typing_regex.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
2355
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--
5037
typing_return.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1437
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--
12542
typing_shapes.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
29537
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--
2703
typing_special_fun.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
310
typing_special_fun.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
5989
typing_structure.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1581
typing_substring.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
121502
typing_subtype.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3641
typing_subtype.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
6594
typing_subtype_method.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
329
typing_subtype_method.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
3275
typing_subtype_tconst.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
654
typing_subtype_tconst.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
17035
typing_taccess.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
477
typing_taccess.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
3062
typing_tdef.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
480
typing_tdef.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
63651
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--
22930
typing_union.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1465
typing_union.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
18410
typing_utils.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
34757
typing_variance.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1033
typing_variance.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
6854
typing_visibility.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
809
typing_visibility.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
5813
typing_xhp.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1445
typing_xhp.mli
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
write_symbol_info
tree
|
history