first step towards typechecking
commit61abf8873483f4561311aaab1bd18b9afdf1281a
authorLucian Wischik <ljw@fb.com>
Fri, 11 Oct 2019 06:29:38 +0000 (10 23:29 -0700)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Fri, 11 Oct 2019 06:32:31 +0000 (10 23:32 -0700)
treeb89c2514565b436d532b8419ebb5f3e6e0eb64da
parent1da6cc065252a9e184546aef4033eaf7207abfdd
first step towards typechecking

Summary:
More baby steps for hh_mapreduce. Here it's setting up environment to allow typechecking.

(It's not complete yet. I only did it far enough to be able to compile. It still requires logging setup, for instance).

I feel uneasy about this environment setup. I'm not sure I've set all the necessary global variables. I kind of want to (1) audit every single of the thing that's set up and figure out where every setting came from and why it's needed, (2) figure out what parts should be done by the decl service, which parts should be done by the mapreduce orchestrator, and which parts should be done by the worker.

Anyway, there's lots to be done here, so this is just the first steps.

Reviewed By: arxanas

Differential Revision: D17811432

fbshipit-source-id: 41736eff0be464cf7d8344c985fa8208ce63c4f3
hphp/hack/src/rearchitecture_proposal_1/hh_mapreduce/dune
hphp/hack/src/rearchitecture_proposal_1/hh_mapreduce/typecheck.ml