| commit | 4223cb76efd207f7cd3bd402cc5d756a95ca5e35 | |
| author | Waleed Khan <waleedk@fb.com> | |
| Fri, 20 Mar 2020 18:11:06 +0000 (20 11:11 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 20 Mar 2020 22:25:51 +0000 (20 15:25 -0700) | ||
| tree | 6de0a2567cf81d0fcb7c0e6d1e3c9b0278509ee7 | treesnapshot (tar.gz zip) |
| parent | 197e4083ec78fcbc717468ece3fc83c5f63a7604 | commitdiff |
Support pushing/popping local changes Naming_provider with local memory backend
Summary: This mechanism isn't necessary, so we just add a do-nothing implementation. When we would need to push changes, instead we fall back to the `Provider_context.t` entry system, and check that for symbols before checking the local memory delta.
Differential Revision: D20368868
fbshipit-source-id: 80d353a4554017d79e1aadc2caf7db0ceb07dd7c
Summary: This mechanism isn't necessary, so we just add a do-nothing implementation. When we would need to push changes, instead we fall back to the `Provider_context.t` entry system, and check that for symbols before checking the local memory delta.
Differential Revision: D20368868
fbshipit-source-id: 80d353a4554017d79e1aadc2caf7db0ceb07dd7c
| hphp/hack/src/providers/naming_provider.ml | diffblobblamehistory |