multimap naming table
commit5da5550e1018e179c8e24fa984c37327ac997333
authorLucian Wischik <ljw@fb.com>
Fri, 8 May 2020 06:39:52 +0000 (7 23:39 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 8 May 2020 06:54:31 +0000 (7 23:54 -0700)
treeba55b05ef1c0e571318fc1534901fc4053ee1906
parent0731789ba76994d82954d8643a2baa8935f5eec9
multimap naming table

Summary: This diff changes the local-memory-provider reverse-naming-table-delta into a multimap. (It leaves sharedmem delta as a single map, and leaves sqlite as a single map).

Reviewed By: yinghuitan

Differential Revision: D21394528

fbshipit-source-id: 5f0462b2f05e6a96bf548d162569dec7e4b7f6cb
hphp/hack/src/providers/naming_provider.ml
hphp/hack/src/providers/provider_backend.ml
hphp/hack/src/providers/provider_backend.mli
hphp/hack/test/integration/test_lsp.py
hphp/hack/test/unit/naming/localmem_naming_tests.ml