v0.17~preview.129.00+111

janestreet · Nov 23, 2023 · 02a8337 · 02a8337
1 parent 68dbc28
commit 02a8337
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 9 deletions.
diff --git a/core_unix/src/core_unix.ml b/core_unix/src/core_unix.ml
@@ -2908,14 +2908,18 @@ type socket_bool_option = Unix.socket_bool_option =
 
 [%%endif]
 
-type socket_int_option = Unix.socket_int_option =
-  | SO_SNDBUF
-  | SO_RCVBUF
-  | SO_ERROR
-  | SO_TYPE
-  | SO_RCVLOWAT
-  | SO_SNDLOWAT
-[@@deriving sexp]
+include struct
+  [@@@alert "-deprecated"]
+
+  type socket_int_option = Unix.socket_int_option =
+    | SO_SNDBUF
+    | SO_RCVBUF
+    | SO_ERROR
+    | SO_TYPE
+    | SO_RCVLOWAT
+    | SO_SNDLOWAT
+  [@@deriving sexp]
+end
 
 type socket_optint_option = Unix.socket_optint_option = SO_LINGER [@@deriving sexp]
 

diff --git a/core_unix/src/core_unix.mli b/core_unix/src/core_unix.mli
@@ -1745,7 +1745,8 @@ type socket_bool_option =
 type socket_int_option =
   | SO_SNDBUF (** Size of send buffer *)
   | SO_RCVBUF (** Size of received buffer *)
-  | SO_ERROR (** Report the error status and clear it *)
+  | SO_ERROR [@alert deprecated "Use Unix.getsockopt_error instead."]
+      (** Report the error status and clear it *)
   | SO_TYPE (** Report the socket type *)
   | SO_RCVLOWAT (** Minimum number of bytes to process for input operations *)
   | SO_SNDLOWAT (** Minimum number of bytes to process for output operations *)