Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] - Convert Caml to C/C++, C#, PHP, etc -
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Mauricio Fernandez <mfp@a...>
Subject: Re: [Caml-list] - Convert Caml to C/C++, C#, PHP, etc -
On Fri, Oct 10, 2008 at 05:55:03AM +0100, Jon Harrop wrote:
> On Friday 10 October 2008 04:30:53 Erik de Castro Lopo wrote:
> > Jon Harrop wrote:
> > > You mean the program that generates OCaml's bytecodes is
> > > written in OCaml.
> >
> > Commonly known as a compiler.
> 
> One of the compilers, yes.
> 
> > > the program that executes OCaml's bytecodes
> >
> > Commonly known as a virtual machine.
> 
> No, I was referring specifically to the interpreter (byterun/interp.c) and not 
> the run time. So not the whole VM. What is done with the rest of the VM is up 
> in the air.

http://camlcvs.inria.fr/cgi-bin/cvsweb/cdk/asmdynlink/interp.ml


$ head -18 interp.ml | tail -7
(*
   This module implement an interpretor for OCAML bytecode. The bytecode is
supposed to be linked (ie symbols are resolved). Closures are compiled as
native closures taking only one argument each time. For example, GRAB creates
a native closure waiting for "arity" arguments, then putting them on the stack
and calling the interpretor with a new pc.
*)

-- 
Mauricio Fernandez  -   http://eigenclass.org