diff options
| author | Thomas Letan <lthms@soap.coffee> | 2021-01-24 18:20:08 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2021-01-24 18:20:37 +0100 |
| commit | c15ed87abc1a1fcd74b3a4162baaeb862bb76f07 (patch) | |
| tree | b91d531819480addad6142bb90fbf78e82ec40b1 /site/posts/CoqffiEcho.org | |
| parent | Ignore _opam (diff) | |
Prepare coqffi.1.0.0~beta3 release
Diffstat (limited to 'site/posts/CoqffiEcho.org')
| -rw-r--r-- | site/posts/CoqffiEcho.org | 14 |
1 files changed, 7 insertions, 7 deletions
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 |