Re: [Caml-list] Announce: Nativize 0.1

["Issac Trotts" <ijtrotts@ucdavis.edu>]

On Mon, Mar 08, 2004 at 10:59:12PM +0100, Henri DF wrote:
> sounds cool!!
> just wondering , reading through your example below:
> why wouldn't you spit out a "Ack1.cmx", if this is native code?

Well, I do something like that behind the scenes, but I can't just load
a .cmx file directly into the toplevel.  Instead, I compile a native
code program named Ack1 whose purpose is to evaluate the Ackermann
function.  It takes three arguments, the first two being the names of
temporary files holding marshalled arguments, the last one being the
name of a temporary file where it should store its answer in marshalled
form.  The code in Ack1.cmo marshalls the arguments (5 and 0 in the case
below) into these temporary files, calls the Ack1 program on the temp
files, reads the answer from the result file and then returns it.  

-- 
Issac Trotts
http://redwood.ucdavis.edu/~issac

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners