relaxed return types

ocaml-multicore · Oct 29, 2024 · 5bdf566 · 5bdf566
1 parent 3ff5c34
commit 5bdf566
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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