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
)
Default case of switch node in AST to keep pos
[hiphop-php.git]
/
hphp
/
hack
/
src
/
typing
/
tree
f7c676262a4095b16b99822fb88ddf8b236c39b1
drwxr-xr-x
..
-rw-r--r--
6589
coverage_level.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
828
coverage_level_defs.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1856
coverage_level_defs.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
839
deferred_decl.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3350
delta.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
4826
dune
blob
|
blame
|
history
|
raw
-rw-r--r--
7353
full_fidelity_typed_positioned_syntax.ml
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--
8785
nastCheck.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
16098
nastInitCheck.ml
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
nast_check
tree
|
history
-rw-r--r--
2459
nast_check_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
4482
nast_visitor.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
32807
pp_type.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
5509
tast.ml
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
tast_check
tree
|
history
-rw-r--r--
7141
tast_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
11044
tast_env.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
4719
tast_expand.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1895
tast_type_collector.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
8940
tast_typecheck.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
8405
tast_utils.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
9614
tast_visitor.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
10621
type_mapper.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
8857
type_parameter_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1847
type_parameter_env.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
6598
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--
1745
type_validator.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
6932
type_visitor.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1568
typedSyntaxTransforms.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
326484
typing.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
701
typing.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
5319
typing_alias.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
237
typing_alias.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
31496
typing_array_access.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2882
typing_arrays.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
4182
typing_async.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3032
typing_attributes.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
19677
typing_check_service.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1233
typing_check_utils.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
14751
typing_classes_heap.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
4179
typing_classes_heap.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
4135
typing_coercion.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1236
typing_continuations.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
979
typing_debug.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
5396
typing_deferred_members.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
30649
typing_defs.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
6196
typing_dependent_type.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2063
typing_disposable.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
10162
typing_enforceability.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
5426
typing_enum.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
47392
typing_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
9790
typing_env.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
2593
typing_env_from_def.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1024
typing_env_return_info.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
5499
typing_env_types.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3130
typing_env_types.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
3995
typing_equality_check.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1029
typing_expand.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
744
typing_expand.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
30958
typing_extends.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
609
typing_extends.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
7290
typing_exts.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3891
typing_fake_members.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1150
typing_fake_members.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
2232
typing_func_terminality.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
6252
typing_gather_defined.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3169
typing_generic.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
4499
typing_generic_constraint.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3861
typing_generic_rules.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
10329
typing_get_locals.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
405
typing_get_locals.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
487
typing_heap.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
706
typing_heap.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
5335
typing_inheritance.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1441
typing_instantiate.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
11169
typing_intersection.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
649
typing_intersection.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
3525
typing_lambda_ambiguous.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2153
typing_lazy_heap.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
6316
typing_lenv.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2256
typing_lenv.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
1007
typing_local_types.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
19220
typing_log.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
871
typing_log_value.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3104
typing_logic.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
5668
typing_lru_check_service.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2788
typing_make_type.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
4697
typing_memoize.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
474
typing_memoize.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
8823
typing_mutability.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1040
typing_mutability.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
2310
typing_mutability_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1516
typing_mutability_env.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
296
typing_naming_body.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1783
typing_ops.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2908
typing_per_cont_env.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2615
typing_per_cont_env.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
3718
typing_per_cont_ops.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
4437
typing_per_cont_ops.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
24191
typing_phase.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1629
typing_phase.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
64087
typing_print.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
3943
typing_print.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
16322
typing_reactivity.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
26305
typing_reason.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
5149
typing_regex.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
387
typing_regex.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
2210
typing_remote_check_service.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1160
typing_requirements.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
279
typing_requirements.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
6038
typing_return.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1965
typing_return.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
10512
typing_sequencing.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
870
typing_set.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
11547
typing_shapes.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
31379
typing_solver.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
948
typing_solver.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
5871
typing_structure.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1798
typing_substring.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
103734
typing_subtype.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1939
typing_subtype.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
2117
typing_subtype_tconst.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
546
typing_subtype_tconst.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
3120
typing_symbol_info_writer.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
11022
typing_symbol_json_builder.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
14079
typing_taccess.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
464
typing_taccess.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
2934
typing_tdef.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1381
typing_try.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
2122
typing_unify.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
18730
typing_union.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
1367
typing_union.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
20308
typing_utils.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
29275
typing_variance.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
7213
typing_visibility.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
741
typing_visibility.mli
blob
|
blame
|
history
|
raw
-rw-r--r--
4822
typing_xhp.ml
blob
|
blame
|
history
|
raw
-rw-r--r--
816
typing_xhp.mli
blob
|
blame
|
history
|
raw