3/10 update_symbol_index takes sienv
commitac8f05cfeb98a1599117f0f3beba696620a22274
authorLucian Wischik <ljw@fb.com>
Tue, 31 Mar 2020 22:49:52 +0000 (31 15:49 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 31 Mar 2020 23:09:04 +0000 (31 16:09 -0700)
tree845058f9a238623853b9524bbc2eaf830ea065dc
parent1aca547e4c8ddca793bd8113874e3d085d0ce610
3/10 update_symbol_index takes sienv

Summary:
See diff 1/10 for an overview.

This diff changes `update_symbol_index` to take in and return a `SearchUtils.si_env`, rather than an entire `ServerEnv`.

Reviewed By: arxanas

Differential Revision: D20625817

fbshipit-source-id: c3b96a7c843622d5d6a865337f31b0cc2cc3bdfb
hphp/hack/src/client/ide_service/clientIdeIncremental.ml