Thread interruption handler to Typing_check_service
commit49b4dbb8cba1884919b03cfbbe5fe449e524919d
authorKasper Kopec <kasper@fb.com>
Thu, 19 Apr 2018 17:28:35 +0000 (19 10:28 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Thu, 19 Apr 2018 17:31:48 +0000 (19 10:31 -0700)
tree098e890a06cc709fccfb9d17220dc66d8098c7e1
parent457868e257bc813403b3ef4428fdf042044a035a
Thread interruption handler to Typing_check_service

Summary:
`Typing_check_service`, knows how to check files, but doesn't know anything about Watchman, clients, servers, etc. Trying to call into those things would lead to circular references. But there will be Watchman and client related things happening during typechecking now!

To solve this, I pass (in the environment) an opaque handling function all the way down from ServerMain (currently set to None, actually set in D7550959).

Reviewed By: alexchow

Differential Revision: D7550954

fbshipit-source-id: 93c76e11ae8276855a1acbe4cd8f593c6081bc2b
hphp/hack/src/server/serverEnv.ml
hphp/hack/src/server/serverEnvBuild.ml
hphp/hack/src/server/serverMain.ml
hphp/hack/src/server/serverTypeCheck.ml