Add a flag to not raise a typing error in partial
commit248c44c1633ba13e74010bd4634996b3514d0900
authorVassil Mladenov <vmladenov@fb.com>
Fri, 12 Jun 2020 02:11:23 +0000 (11 19:11 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 12 Jun 2020 02:37:56 +0000 (11 19:37 -0700)
treee66779dc40565875108fd1bc7674b32579d0d2fe
parent7d1af58e78ad934337d97aa4ae20179ae6336b48
Add a flag to not raise a typing error in partial

Summary:
Right now, there are certain errors where Hack will check the mode of a file and conditionally raise them. Instead, the goal is to always raise those errors unconditionally, and then users can turn them off in `.hhconfig` for partial files. This is a tool to assist incremental conversion to strict mode.

There remains a long tail of work to always raise the errors mentioned above.

Reviewed By: DavidSnider

Differential Revision: D21835316

fbshipit-source-id: 15e9a5d12c5b497caade51a03df99fedaa6a0697
hphp/hack/src/errors/errors.ml
hphp/hack/src/errors/errors.mli
hphp/hack/src/hh_single_type_check.ml
hphp/hack/src/options/globalOptions.ml
hphp/hack/src/options/globalOptions.mli
hphp/hack/src/oxidized/gen/global_options.rs
hphp/hack/src/oxidized/manual/global_options_impl.rs
hphp/hack/src/server/serverConfig.ml
hphp/hack/src/server/serverGlobalState.ml
hphp/hack/test/integration_ml/test_mixed_hack_hackpartial.ml