move InferMissing -> oxidized/gen
commitd0c26252757f4479fb468eab0991023b80c5c3f9
authorSteve Cao <shiqicao@fb.com>
Tue, 19 Nov 2019 03:42:17 +0000 (18 19:42 -0800)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Tue, 19 Nov 2019 03:46:34 +0000 (18 19:46 -0800)
treeb4299cb9df0927a1274903ca23ea567645efd704
parentd8dd87312860c75ec071d26b5a1715d9d2f9f6a4
move InferMissing -> oxidized/gen

Summary:
InferMissing is not covered by oxidizer due to missing support of nested modules. Recently a new variant is added and breaks Rust lowerer.

To improve it, I moved Infer_missing to a separate file, and oxidizer can cover it.

Also updated oxidized types.

Reviewed By: dabek

Differential Revision: D18549729

fbshipit-source-id: 6c9435dd079aa6a19278effc2c11696bdf064f4f
25 files changed:
hphp/hack/src/decl/decl_fun_utils.ml
hphp/hack/src/hh_single_type_check.ml
hphp/hack/src/options/dune
hphp/hack/src/options/gleanOptions.ml
hphp/hack/src/options/globalOptions.ml
hphp/hack/src/options/globalOptions.mli
hphp/hack/src/options/inferMissing.ml [new file with mode: 0644]
hphp/hack/src/options/inferMissing.mli [new file with mode: 0644]
hphp/hack/src/options/typecheckerOptions.ml
hphp/hack/src/oxidized/aast_visitor/node_impl_gen.rs
hphp/hack/src/oxidized/aast_visitor/node_mut_impl_gen.rs
hphp/hack/src/oxidized/gen/aast.rs
hphp/hack/src/oxidized/gen/aast_defs.rs
hphp/hack/src/oxidized/gen/global_options.rs
hphp/hack/src/oxidized/gen/infer_missing.rs [moved from hphp/hack/src/oxidized/manual/infer_missing.rs with 69% similarity]
hphp/hack/src/oxidized/gen/mod.rs
hphp/hack/src/oxidized/gen/typechecker_options.rs
hphp/hack/src/oxidized/gen/typing_defs.rs
hphp/hack/src/oxidized/impl_gen/aast_defs_impl_gen.rs
hphp/hack/src/oxidized/lib.rs
hphp/hack/src/oxidized/manual/mod.rs
hphp/hack/src/oxidized/regen.sh
hphp/hack/src/server/serverConfig.ml
hphp/hack/src/typing/typing_check_service.ml
hphp/hack/src/typing/typing_phase.ml