Closed mbarbin closed 5 days ago
:information_source: This PR is intended to be closed, as its changes are likely to be subsumed by PR #56 and any subsequent related PRs.
Hi @wokalski. I hope all is well! With arpaca around the corner, I thought it would be a reasonable time to close my stale PRs in this repo. Do you have objections to me going ahead and close them? Thanks a lot!
sure!
This PR introduces a new typed specification for RPCs, extracted from PR #48 as an independent change. This allows for the independent development of other components (eio, lwt, async, protoc & protoc_plugin).
Initial documentation has been added to the new interface as a starting point, which can be refined as we progress with the integration of other components.
The goal is to merge this PR first to facilitate the concurrent development of the remaining components.