Splitting server around in more manageable pieces
commitf17315eaadb9365acfc2582b1424ac39a9574a53
authorVincent Siles <vsiles@fb.com>
Tue, 13 Apr 2021 08:31:45 +0000 (13 01:31 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 13 Apr 2021 08:33:08 +0000 (13 01:33 -0700)
tree7c6c0c60bfd49ac20a1418dacd38533d2239f211
parent1cc5be9e0f95c9f9c5eb3afa445cf695f5f60220
Splitting server around in more manageable pieces

Summary: Starting to split src/server into smaller pieces

Reviewed By: Wilfred

Differential Revision: D27676847

fbshipit-source-id: 3452ffe9529519a2305660cb8bb0e609aaaac713
15 files changed:
hphp/hack/src/client/clientLint.ml
hphp/hack/src/client/dune
hphp/hack/src/client/ide_service/dune
hphp/hack/src/dune
hphp/hack/src/hh_fanout/dune
hphp/hack/src/hh_single_type_check.ml
hphp/hack/src/server/codemodTypePrinter.ml
hphp/hack/src/server/dune
hphp/hack/src/server/serverCoverageMetric.ml
hphp/hack/src/server/serverCoverageMetricUtils.ml [new file with mode: 0644]
hphp/hack/src/server/serverLint.ml
hphp/hack/src/server/serverLintTypes.ml
hphp/hack/src/server/serverSearch.ml
hphp/hack/src/server/symbolInfoService.ml
hphp/hack/src/server/symbolInfoServiceUtils.ml [copied from hphp/hack/src/server/symbolInfoService.ml with 70% similarity]