[Caml-list] CFP: Call for papers, Coq Workshop (Edinburgh, July 9)

of papers * May 1st: Acceptance Notification * May 31st: Final version of articles * July 9th: Workshop in Edinburgh Program Committee * Andrew Appel * Yves Bertot (Chair) * Adam Chlipala * Georges Gonthier * Benjamin Grégoire * Hugo Herbelin * Micaela Mayero * Christine

[Caml-list] Tutorial example for nat dynlink

Hello, I have been trying to build a small example "hello world" program using native dynlink, but I don't manage to make it work. Could please send me some advice? Here are my programs: toto.mli val ff : (unit -> unit) ref;; toto.ml - Dynlink.init();; let ff = r

Re: [Caml-list] Error: This function is applied to too many arguments, maybe you forgot a `; '

To be more precise, Ocaml being a functional language, any function, when applied to one argument, may return a new function which can in turn be applied to another argument. Thus if you write : (a (b)) (c), Ocaml (and most other functional programming languages), understand that a(b) is s