Produce files containing 64-bit dependency edges when saving dep graph
commiteaa26645ddcde1776158c5a095acaffd4a4c37bf
authorHenri Verroken <hverr@fb.com>
Tue, 6 Oct 2020 11:14:46 +0000 (6 04:14 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 6 Oct 2020 11:17:16 +0000 (6 04:17 -0700)
treeca27f3aec957d841481cae0e64e166b4ab558601
parent9750706daf2212bd874d7f10552b25d87cd0d3c4
Produce files containing 64-bit dependency edges when saving dep graph

Summary:
When `--save-64bit EDGES_DIR` is provided, make hh_server produce files with 64-bit dependency edges.

One file per worker. In the next diff these files are converted into the actual database.

Differential Revision: D23989171

fbshipit-source-id: 140457f38de26d41631d9aa66ec53eec5a6e2090
hphp/hack/src/deps/typing_deps.ml
hphp/hack/src/deps/typing_deps.mli
hphp/hack/src/deps/typing_deps.rs
hphp/hack/src/server/serverGlobalState.ml
hphp/hack/src/server/serverMain.ml