| commit | 5507c2c50a9e6e2d0801e4a60e2b4b6a39b4a587 | |
| author | Waleed Khan <waleedk@fb.com> | |
| Wed, 26 Feb 2020 23:40:35 +0000 (26 15:40 -0800) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 26 Feb 2020 23:55:35 +0000 (26 15:55 -0800) | ||
| tree | 17446bf00f5488097ff7b4b0e33afbc4473a2c5f | treesnapshot (tar.gz zip) |
| parent | 2e186ba6cda86f9053ff9abed5618062bdbc64f3 | commitdiff |
Create `Naming_provider` module
Summary:
This module is responsible for maintaining the reverse naming table.
I didn't want to call it `Reverse_naming_provider` since that's very long.
Reviewed By: ljw1004
Differential Revision: D20025031
fbshipit-source-id: 17078305057deefea2c339908b9a381ff32d55f6
Summary:
This module is responsible for maintaining the reverse naming table.
I didn't want to call it `Reverse_naming_provider` since that's very long.
Reviewed By: ljw1004
Differential Revision: D20025031
fbshipit-source-id: 17078305057deefea2c339908b9a381ff32d55f6
| hphp/hack/src/providers/naming_provider.ml | [new file with mode: 0644] | blob |
| hphp/hack/src/providers/naming_provider.mli | [new file with mode: 0644] | blob |