Array unification switch
commit388dcbb98c762d1d167a09e1939a721ed0862275
authorVassil Mladenov <vmladenov@fb.com>
Tue, 26 Jan 2021 18:47:05 +0000 (26 10:47 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 26 Jan 2021 18:50:00 +0000 (26 10:50 -0800)
tree7abc33d24c825c47de67a0c571740d3f68844590
parent96d2013216b27040ed4cf6d11ac410f684d66c29
Array unification switch

Summary: Adds a flag `--array-unification` to hh_single_type_check and `array_unification` to .hhconfig. Naming and typing changes moved to a follow up diff

Differential Revision: D26002007

fbshipit-source-id: 1d7ef98173111ae5893b0a283cd8d468c35ca809
25 files changed:
hphp/hack/src/decl/direct_decl_parser.ml
hphp/hack/src/decl/direct_decl_parser.mli
hphp/hack/src/decl/direct_decl_parser.rs
hphp/hack/src/decl/direct_decl_smart_constructors.rs
hphp/hack/src/decl/rust_decl_ffi.rs
hphp/hack/src/hh_single_decl.ml
hphp/hack/src/hh_single_type_check.ml
hphp/hack/src/options/globalOptions.ml
hphp/hack/src/options/globalOptions.mli
hphp/hack/src/options/parserOptions.ml
hphp/hack/src/options/typecheckerOptions.ml
hphp/hack/src/oxidized/gen/full_fidelity_parser_env.rs
hphp/hack/src/oxidized/gen/global_options.rs
hphp/hack/src/oxidized/gen/parser_options.rs
hphp/hack/src/oxidized/manual/global_options_impl.rs
hphp/hack/src/oxidized_by_ref/gen/global_options.rs
hphp/hack/src/oxidized_by_ref/manual/global_options_impl.rs
hphp/hack/src/parser/aast_parser.rs
hphp/hack/src/parser/api/direct_decl_parser.rs
hphp/hack/src/parser/full_fidelity_parser_env.ml
hphp/hack/src/parser/parser_env.rs
hphp/hack/src/providers/decl_service_client.ml
hphp/hack/src/providers/decl_service_client.mli
hphp/hack/src/providers/direct_decl_utils.ml
hphp/hack/src/server/serverConfig.ml