diff --git a/src/System/UV/Stream.idr b/src/System/UV/Stream.idr index ce7f7e7..ac33ea7 100644 --- a/src/System/UV/Stream.idr +++ b/src/System/UV/Stream.idr @@ -60,8 +60,8 @@ parameters {auto l : UVLoop} export write : Ptr t -> (0 _ : PCast t Stream) => ByteString -> Async es () write str b = - use1 (fromByteString b) $ \cs => - uv $ uv_write str cs (cast b.size) (\_,_ => pure ()) + use1 (fromByteString b) $ \cs => uvAsync $ \cb => + uv_write str cs (cast b.size) (\_,_ => cb $ Succeeded ()) export listen :