Flag for modules
commit62f2d639a6c5f5112d163f6ac5883176bdd72311
authorAndrew Kennedy <akenn@fb.com>
Thu, 3 Jun 2021 07:34:00 +0000 (3 00:34 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 3 Jun 2021 07:36:15 +0000 (3 00:36 -0700)
tree774083d299d12891743709729adc853795978e51
parent4bbc3b2646ad66baa5d7a3ba6b931005850b86d5
Flag for modules

Summary: This is the first diff in an experimental implementation of modules for Hack. Just introduce a flag for now.

Reviewed By: zilberstein

Differential Revision: D28831320

fbshipit-source-id: 3ef039f3797c1bd15a26180fe7d6c2080f0caf62
hphp/hack/src/naming/naming_special_names.ml
hphp/hack/src/options/globalOptions.ml
hphp/hack/src/options/globalOptions.mli
hphp/hack/src/options/typecheckerOptions.ml
hphp/hack/src/oxidized/gen/global_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/server/serverConfig.ml
hphp/hack/src/typing/typing.ml