| commit | d31f19726c79e8690719948599533ce68b54a672 | |
| author | Waleed Khan <waleedk@fb.com> | |
| Tue, 10 Dec 2019 22:23:39 +0000 (10 14:23 -0800) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 10 Dec 2019 22:31:29 +0000 (10 14:31 -0800) | ||
| tree | 4af4a23e90df80501ab74af6b87dd1df02b45f12 | treesnapshot (tar.gz zip) |
| parent | b3d32e727348d0d92f4c47ec1250f0960bf780c7 | commitdiff |
Embed the provider backend in the provider context
Summary:
This information all logically belongs together. It was separate because I didn't have a clear idea of what the provider context entailed when I made the abstraction.
For now, we just get the global provider context whenever we make a new provider context. In the future, it should be passed as a parameter. (It's likely that we'll have an `empty_from_server_env` constructor for `Provider_context.t`.)
Reviewed By: ljw1004
Differential Revision: D18768763
fbshipit-source-id: 678a607f200aeb14370803246f85a66264642084
Summary:
This information all logically belongs together. It was separate because I didn't have a clear idea of what the provider context entailed when I made the abstraction.
For now, we just get the global provider context whenever we make a new provider context. In the future, it should be passed as a parameter. (It's likely that we'll have an `empty_from_server_env` constructor for `Provider_context.t`.)
Reviewed By: ljw1004
Differential Revision: D18768763
fbshipit-source-id: 678a607f200aeb14370803246f85a66264642084
| hphp/hack/src/providers/provider_context.ml | diffblobblamehistory | |
| hphp/hack/src/providers/provider_context.mli | diffblobblamehistory |