Move things to net and implement libuv

Author: haesbaert

lib_eio/net.ml

@@ -190,6 +190,23 @@ let connect ~sw (t:#t) = t#connect ~sw
 
 let datagram_socket ~sw (t:#t) = t#datagram_socket ~sw
 
+(* keep in sync with C stubs *)
+type getaddrinfo_error =
+  | EAI_ADDRFAMILY
+  | EAI_AGAIN
+  | EAI_BADFLAGS
+  | EAI_BADHINTS
+  | EAI_FAIL
+  | EAI_FAMILY
+  | EAI_MEMORY
+  | EAI_NODATA
+  | EAI_NONAME
+  | EAI_SERVICE
+  | EAI_SOCKTYPE
+  | EAI_SYSTEM
+
+exception Getaddrinfo_error of getaddrinfo_error
+
 let getaddrinfo ?(service="") (t:#t) hostname = t#getaddrinfo ~service hostname
 
 let getaddrinfo_stream ?service t hostname =

lib_eio/net.mli

@@ -202,6 +202,23 @@ val recv : #datagram_socket -> Cstruct.t -> Sockaddr.datagram * int
 
 (** {2 DNS queries} *)
 
+(* keep in sync with C stubs *)
+type getaddrinfo_error =
+  | EAI_ADDRFAMILY
+  | EAI_AGAIN
+  | EAI_BADFLAGS
+  | EAI_BADHINTS
+  | EAI_FAIL
+  | EAI_FAMILY
+  | EAI_MEMORY
+  | EAI_NODATA
+  | EAI_NONAME
+  | EAI_SERVICE
+  | EAI_SOCKTYPE
+  | EAI_SYSTEM
+
+exception Getaddrinfo_error of getaddrinfo_error
+
 val getaddrinfo: ?service:string -> #t -> string -> Sockaddr.t list
 (** [getaddrinfo ?service t node] returns a list of IP addresses for [node]. [node] is either a domain name or
     an IP address.

lib_eio_linux/eio_linux.ml

@@ -828,23 +828,8 @@ module Low_level = struct
 
   external eio_getdents : Unix.file_descr -> string list = "caml_eio_getdents"
 
-  (* keep in sync with eio_stubs.c *)
-  type gai_error =
-    | EAI_ADDRFAMILY
-    | EAI_AGAIN
-    | EAI_BADFLAGS
-    | EAI_BADHINTS
-    | EAI_FAIL
-    | EAI_FAMILY
-    | EAI_MEMORY
-    | EAI_NODATA
-    | EAI_NONAME
-    | EAI_SERVICE
-    | EAI_SOCKTYPE
-    | EAI_SYSTEM
-
   external eio_getaddrinfo : string -> string -> Unix.getaddrinfo_option list ->
-    (Unix.addr_info list, gai_error) result
+    (Unix.addr_info list, Eio.Net.getaddrinfo_error) result
     = "caml_eio_getaddrinfo"
 
   let getrandom { Cstruct.buffer; off; len } =
@@ -937,7 +922,9 @@ module Low_level = struct
       | _ -> None
     in
     Eio_unix.run_in_systhread @@ fun () ->
-    Unix.getaddrinfo node service []
+    (match (eio_getaddrinfo node service []) with
+     | Ok l -> l
+     | Error e -> raise (Eio.Net.Getaddrinfo_error e))
     |> List.filter_map to_eio_sockaddr_t
 end
 

lib_eio_linux/eio_linux.mli

@@ -254,21 +254,8 @@ module Low_level : sig
   (** [getaddrinfo host] returns a list of IP addresses for [host]. [host] is either a domain name or
       an ipaddress. *)
 
-  type gai_error =
-    | EAI_ADDRFAMILY
-    | EAI_AGAIN
-    | EAI_BADFLAGS
-    | EAI_BADHINTS
-    | EAI_FAIL
-    | EAI_FAMILY
-    | EAI_MEMORY
-    | EAI_NODATA
-    | EAI_NONAME
-    | EAI_SERVICE
-    | EAI_SOCKTYPE
-    | EAI_SYSTEM
-
-  val eio_getaddrinfo : string -> string -> Unix.getaddrinfo_option list -> (Unix.addr_info list, gai_error) result
+  val eio_getaddrinfo : string -> string -> Unix.getaddrinfo_option list ->
+    (Unix.addr_info list, Eio.Net.getaddrinfo_error) result
 
 
 end

lib_eio_luv/eio_luv.ml

@@ -575,14 +575,25 @@ module Low_level = struct
       | _ -> None
     in
     let request = Luv.DNS.Addr_info.Request.make () in
+    let r e = raise (Eio.Net.Getaddrinfo_error e) in
     match (await_with_cancel ~request
              (fun loop -> Luv.DNS.getaddrinfo ~loop ~request ~service ~node ()))
     with
     | Ok nl -> List.filter_map to_eio_sockaddr_t nl
-    | Error `EAI_ADDRFAMILY | Error `EAI_AGAIN | Error `EAI_BADFLAGS | Error `EAI_BADHINTS
-    | Error `EAI_CANCELED   | Error `EAI_FAIL  | Error `EAI_FAMILY   | Error `EAI_MEMORY
-    | Error `EAI_NODATA     | Error `EAI_NONAME| Error `EAI_OVERFLOW | Error `EAI_PROTOCOL
-    | Error `EAI_SERVICE    | Error `EAI_SOCKTYPE -> []
+    | Error `EAI_ADDRFAMILY -> r EAI_ADDRFAMILY
+    | Error `EAI_AGAIN      -> r EAI_AGAIN
+    | Error `EAI_BADFLAGS   -> r EAI_BADFLAGS
+    | Error `EAI_BADHINTS   -> r EAI_BADHINTS
+    | Error `EAI_CANCELED   -> r EAI_FAIL (* note *)
+    | Error `EAI_FAIL       -> r EAI_FAIL
+    | Error `EAI_FAMILY     -> r EAI_FAMILY
+    | Error `EAI_MEMORY     -> r EAI_MEMORY
+    | Error `EAI_NODATA     -> r EAI_NODATA
+    | Error `EAI_NONAME     -> r EAI_NONAME
+    | Error `EAI_OVERFLOW   -> r EAI_FAIL (* note *)
+    | Error `EAI_PROTOCOL   -> r EAI_FAIL (* note *)
+    | Error `EAI_SERVICE    -> r EAI_SERVICE
+    | Error `EAI_SOCKTYPE   -> r EAI_SOCKTYPE
     | Error e -> raise (Luv_error e)
 end