Re: [Caml-list] When can we ignore CAMLparam and CAMLreturn?

2010-10-27 Thread Goswin von Brederlow
Jacques Garrigue garri...@math.nagoya-u.ac.jp writes: On 2010/10/26, at 1:19, Jianzhou Zhao wrote: Hi All, Here is the code from LLVM-OCaml bindings. / /* llvalue - GenericValue.t array - ExecutionEngine.t - GenericValue.t */ CAMLprim value

Re: [Caml-list] Asynchronous IO programming in OCaml

2010-10-27 Thread Goswin von Brederlow
Jérémie Dimino jere...@dimino.org writes: On Mon, Oct 25, 2010 at 11:34:41AM -0400, Yaron Minsky wrote: I don't quite understand how this whole benchmark holds together.  Could you post the C code?  I don't understand the differences between (1), (2) and (3) well enough to explain

Re: [Caml-list] Asynchronous IO programming in OCaml

2010-10-27 Thread Jérémie Dimino
On Wed, Oct 27, 2010 at 11:33:51AM +0200, Goswin von Brederlow wrote: You aren't doing any multithreading. You are creating a thread and waiting for the thread to finish its read before strating a second. There are never ever 2 reads running in parallel. So all you do is add thread creation

Re: [Caml-list] type inference problem with Printf.sprintf ?

2010-10-27 Thread Richard Jones
On Wed, Oct 27, 2010 at 08:44:10AM +1100, Arlen Cuss wrote: # open CalendarLib;; # Calendar.now ();; - : CalendarLib.Calendar.t = abstr # Printer.Calendar.print %d/%m/%Y %H:%M:%S\n (Calendar.now ());; 26/10/2010 21:43:43 - : unit = () Even better, use the internationally standardized format

[Caml-list] Call for papers: HotSWUp III

2010-10-27 Thread Michael Hicks
[Many functional languages support some form of dynamic upgrade, e.g., Erlang, and researchers have used OCaml as a testbed for this sort of work. Research on package management, upgrade distributions, etc. are also very welcome. --Mike] CALL FOR PAPERS HotSWUp 2011:

Re: [Caml-list] When can we ignore CAMLparam and CAMLreturn?

2010-10-27 Thread Jianzhou Zhao
On Wed, Oct 27, 2010 at 5:36 AM, Goswin von Brederlow goswin-...@web.de wrote: Jacques Garrigue garri...@math.nagoya-u.ac.jp writes: On 2010/10/26, at 1:19, Jianzhou Zhao wrote: Hi All, Here is the code from LLVM-OCaml bindings. / /* llvalue - GenericValue.t array -

Re: [Caml-list] Asynchronous IO programming in OCaml

2010-10-27 Thread Goswin von Brederlow
Jérémie Dimino jere...@dimino.org writes: On Wed, Oct 27, 2010 at 11:33:51AM +0200, Goswin von Brederlow wrote: You aren't doing any multithreading. You are creating a thread and waiting for the thread to finish its read before strating a second. There are never ever 2 reads running in

Re: [Caml-list] Generalized Algebraic Datatypes

2010-10-27 Thread Florian Hars
Am 25.10.2010 10:39, schrieb Jacques Le Normand: I am pleased to announce an experimental branch of the O'Caml compiler: O'Caml extended with Generalized Algebraic Datatypes. Of course, some would claim than 3.12 is already almost there: http://okmij.org/ftp/ML/first-class-modules/#naive-GADTs

[Caml-list] Adobe Acrobat Upgrade Notification

2010-10-27 Thread Adobe Upgrade Notification
REF: INTRODUCING UPGRADED ADOBE ACROBAT 2010 Dear Customers, Adobe is pleased to announce new version upgrades for Adobe Acrobat 2010. Advanced features include: - Collaborate across borders - Create rich, polished PDF files from any application that prints - Ensure visual fidelity - Encrypt