better error message on IO failure

c-cube · Aug 1, 2024 · 93a3036 · 93a3036
1 parent 5130653
commit 93a3036
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/src/core/IO.ml b/src/core/IO.ml
@@ -32,11 +32,13 @@ module Output = struct
             len := !len - n
           | exception
               Unix.Unix_error
-                ( ( Unix.EBADF | Unix.ENOTCONN | Unix.ESHUTDOWN
-                  | Unix.ECONNRESET | Unix.EPIPE ),
-                  _,
+                ( (( Unix.EBADF | Unix.ENOTCONN | Unix.ESHUTDOWN
+                   | Unix.ECONNRESET | Unix.EPIPE ) as err),
+                  fn,
                   _ ) ->
-            failwith "write failed"
+            failwith
+            @@ Printf.sprintf "write failed in %s: %s" fn
+                 (Unix.error_message err)
           | exception
               Unix.Unix_error
                 ((Unix.EWOULDBLOCK | Unix.EAGAIN | Unix.EINTR), _, _) ->