package dune-rpc-eio
Client for dune's RPC server using Eio
Install
dune-project
Dependency
Authors
Maintainers
Sources
dune-rpc-eio-0.1.0.tbz
md5=5e2dc3cc049957ff80ce391eab708aa9
sha512=b6eb708b87bb511b7096b3cb9b8f3e1495562f2c41aca8c56aa59df8faf87a2d7ff3afaae5cce894cde7b02e21ef87d0bfeb8b95ca99043fbab82ecd94ca3f97
doc/README.html
dune-rpc-eio
A client for dune's RPC server for programs written against Eio.
With a dune server running in watch mode, a program can build a path or an alias, run the tests, read the diagnostics of the last build and promote a corrected file.
Install
opam install dune-rpc-eioTest
dune runtestThe tests run against a stub dune server over a socket pair, and against a temporary build directory they make themselves.
License
ISC. See LICENSE.md.