From c15ed87abc1a1fcd74b3a4162baaeb862bb76f07 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Sun, 24 Jan 2021 18:20:08 +0100 Subject: Prepare coqffi.1.0.0~beta3 release --- site/posts/CoqffiEcho.org | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'site/posts/CoqffiEcho.org') diff --git a/site/posts/CoqffiEcho.org b/site/posts/CoqffiEcho.org index 55ab172..36594a9 100644 --- a/site/posts/CoqffiEcho.org +++ b/site/posts/CoqffiEcho.org @@ -151,12 +151,12 @@ necessary type and functions to manipulate them. #+BEGIN_SRC ocaml :tangle coqffi-tutorial/ffi/socket.mli type socket_descr -val open_socket : string -> int -> socket_descr [@@impure] -val listen : socket_descr -> unit [@@impure] -val recv : socket_descr -> string [@@impure] -val send : socket_descr -> string -> int [@@impure] -val accept_connection : socket_descr -> socket_descr [@@impure] -val close_socket : socket_descr -> unit [@@impure] +val open_socket : string -> int -> socket_descr +val listen : socket_descr -> unit +val recv : socket_descr -> string +val send : socket_descr -> string -> int +val accept_connection : socket_descr -> socket_descr +val close_socket : socket_descr -> unit #+END_SRC Our focus is how to write the interface modules for ~coqffi~. Since @@ -243,7 +243,7 @@ without sending anything, we can fork a new process for each client. #+BEGIN_SRC ocaml :tangle coqffi-tutorial/ffi/proc.mli type identity = Parent of int | Child -val fork : unit -> identity [@@impure] +val fork : unit -> identity #+END_SRC #+BEGIN_details -- cgit v1.2.3