From 5bdf566808a67c1ca8d5cc6ad629e5946fa02889 Mon Sep 17 00:00:00 2001 From: Isaac Arogbonlo Date: Tue, 29 Oct 2024 17:53:19 +0100 Subject: [PATCH] relaxed return types --- lib_eio/unix/private.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/lib_eio/unix/private.ml b/lib_eio/unix/private.ml index 961990766..0966847c9 100644 --- a/lib_eio/unix/private.ml +++ b/lib_eio/unix/private.ml @@ -12,7 +12,10 @@ type _ Effect.t += let await_readable fd = Effect.perform (Await_readable fd) let await_writable fd = Effect.perform (Await_writable fd) -let pipe sw = Effect.perform (Pipe sw) +let pipe sw = + let (src, sink) = Effect.perform (Pipe sw) in + (src :> source_ty r), + (sink :> sink_ty r) module Rcfd = Rcfd module Fork_action = Fork_action