Re: [Caml-list] native code toplevel

[Sven Luther <luther@dpt-info.u-strasbg.fr>]

On Sun, Nov 17, 2002 at 09:16:52AM +0100, Basile STARYNKEVITCH wrote:
> >>>>> "Oleg" == Oleg  <oleg_inconnu@myrealbox.com> writes:
> 
>     Oleg> Hi I found the same question in the archives, but with no
>     Oleg> answers: why isn't there a native code toplevel? Sometimes I
>     Oleg> need high performance and interactivity (CMUCL can do it,
>     Oleg> why not O'Caml?)
> 
> I also share the same wishes. And actually, the toplevel might
> (suboptimally) dynamically translate the bytecode to machine code
> (i.e. do Just In Time compilation).

I think the last time this subject came up on the list, it was said that
the bytecode does not contain as much information as is needed by the
native code compiler, in particular, i think the bytecode does not
contain any kind of type information.

That said, i guess you could store some kind of intermediary
representation instead, and compile from that, but it is worth it ?

Friendly,

Sven Luther
-------------------
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