[WIP] Move Irmin_pack.Io to eio

mirage / irmin

Irmin is a distributed database that follows the same design principles as Git

https://irmin.org

ISC License

1.83k stars 154 forks source link

[WIP] Move Irmin_pack.Io to eio #2280

Open clecat opened 7 months ago

clecat commented 7 months ago

Make the Io module of Irmin-pack compatible with eio. This work involves using the Eio related functions for all io operations. Most of the work relies on propagating the eio switch that will be necessary in order to open the files.

art-w commented 3 months ago

Thanks a lot for all the hard work! I've rebased your PR on top of #2316 and changed a few things to pass the Eio capabilities through the Irmin Conf/Spec in the same way as for the irmin-fs eio backend. I'm leaving this PR as a draft for now as I saw a couple of (* TODO *) left in the diff and things we could still simplify :)