Gated server initialization to lazy parse and added integration tests
commit7b3df6db1cc4f7c6840d391060e2d81b46893ac2
authorJames Wu <jjwu@fb.com>
Thu, 17 Nov 2016 19:27:29 +0000 (17 11:27 -0800)
committerHhvm Bot <hhvm-bot-bot@fb.com>
Thu, 17 Nov 2016 19:35:34 +0000 (17 11:35 -0800)
tree4b87dee82e257aa4349e61a3de34c9b181d7c498
parentc0f1eb007742c1ecd122c5645198ef435b21e61c
Gated server initialization to lazy parse and added integration tests

Summary:
This diff gates lazy parsing behind lazy_init, a new flag for the typechecker. Doing so allows us to test the feature separately, under correct assumptions rather than the ones given by our integration tests before(such as enable_fuzzy_search = false).

We introduce two functions for init: lazy_init and eager_init. There's some copy pasting going on here, but since the two initialization modes are very different, most of it can't be avoided.

Reviewed By: dabek

Differential Revision: D4122208

fbshipit-source-id: 7e290e4a1efb101fb9c6d599379b73dadb19cd4e
hphp/hack/src/server/serverInit.ml
hphp/hack/src/server/serverLocalConfig.ml
hphp/hack/test/integration/common_tests.py
hphp/hack/test/integration/test_save_mini.py