Prechecked files: incremental mode part two
commit430c89ca27a6c5c32a5ab4d70a59a174f8ba2f8d
authorKasper Kopec <kasper@fb.com>
Fri, 31 Aug 2018 18:53:52 +0000 (31 11:53 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 31 Aug 2018 18:58:53 +0000 (31 11:58 -0700)
tree93e1a75430480f6fb8baad698843aed43edf2714
parentbc6b8cc47d8e70c74f6bbc33485d3a97ea5938a7
Prechecked files: incremental mode part two

Summary:
With “typecheck after init” and interruptible typechecking incremental mode changes can happen both before and after initial typechecking is completed. “Before” case was handled in D9322199, this handles the “after” one.

(Note: this ignores all push blocking failures!)

Reviewed By: pittsw

Differential Revision: D9322205

fbshipit-source-id: f01491db82f1b24fc38b809089c600a9703cff09
hphp/hack/src/server/serverEnv.ml
hphp/hack/src/server/serverPrecheckedFiles.ml
hphp/hack/src/server/serverTypeCheck.ml
hphp/hack/test/integration_ml/saved_state/test_prechecked_incremental_after_init.ml [new file with mode: 0644]
hphp/hack/test/integration_ml/saved_state/test_two_stage_rechecking.ml