Make Proxy_getter use irmin-mem
Right now, the proxy mode uses type Proxy_context.M
for storing the data it received from the endpoint, as visible here in proxy_getter. This type is used in proxy_context.ml:L121 to fill in when the local tree misses a key.
MR 2457 is changing proxy_context.ml
so that the local tree uses an irmin in-memory tree. This makes it more relevant to change Proxy_getter
so that it returns an irmin in-memory tree too, as it will avoid converting the local tree to irmin. This is even more relevant because the light mode modified the proxy mode already to make it abstract from the type of its storage, as visible here in proxy_getter.ml.
So this issue would proceed as follows (on top of MR 2457 or possibly (smaller) MR 2466):
- Take the commits
proxy: refactoring
,proxy: parameterize Proxy_getter by TREE implementation
, andproxy: further split Proxy_getter.M implementation
from branch tweag-client-light-mode-v2 - Change the parameter (
Tree
) of functorCore
when building the module MakeProxy
Edited by Clément Hurlin