Closed avsm closed 1 year ago
Yes, something like backend_id : string
in Stdenv.base should do it.
Hey this would be my first contribution, but I can take this on if that's ok. I already have a working version.
@bord-o: sounds good - feel free to open a PR!
Done in #560.
It's currently not possible to log which Eio backend is in use, and we should expose a way to do this (potentially from Eio_main, but elsewhere is fine too).
Reported by @quernd