DfindLibLwt
commit122aef808b5cbb857cbb8b6de7baafbfe62ebdd8
authorGabe Levi <gabe@fb.com>
Mon, 19 Mar 2018 16:41:34 +0000 (19 09:41 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Mon, 19 Mar 2018 23:42:47 +0000 (19 16:42 -0700)
tree438b2fb1c83e2d71f1b52972b1bd4f5ce6a5af65
parent0610e8633e43dde9ab5fd1505c6fe6fc6498cc36
DfindLibLwt

Summary:
I want an Lwt version od DfindLib so that I can have a
non-blocking interactions with the dfind server. This follows the
code-sharing pattern used for Marshal_tools_lwt and MultiWorkerLwt, such
that lwt is never compiled directly into Hack.

Reviewed By: samwgoldman

Differential Revision: D7169325

fbshipit-source-id: f5e8c61dc99d8fb875347b9bee877621f02fe638
hphp/hack/src/dfind/dfindLib.ml
hphp/hack/src/dfind/dfindLib.mli
hphp/hack/src/dfind/dfindLibLwt.ml [new file with mode: 0644]
hphp/hack/src/dfind/dfindLibLwt.mli [copied from hphp/hack/src/dfind/dfindLib.mli with 83% similarity]
hphp/hack/src/utils/marshal_tools_lwt.ml