Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Co-existence of byterun and asmrun impossible?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-12-12 (21:58)
From: Alain.Frisch@e...
Subject: Re: [Caml-list] Co-existence of byterun and asmrun impossible?
On Fri, 12 Dec 2003, Nuutti Kotivuori wrote:

> That is, a native compiled version of ocamlrun could never exist -
> eg. no ocamlrun.opt nor ocaml.opt (native toplevel)?

ocamlrun is written in C (no Caml at all), so the question does not make

As for ocaml.opt, indeed, it cannot exist currently. AFAIK, there are some
small differences between native and bytecode GC, that makes it impossible
to have both at runtime in parallel. Another consequence is that it is not
possible to dynlink bytecode into a native compiled program (without the
issue above, it would be enough to include the bytecode interpreter in the
main program). In particular, no camlp4.opt, which is sad since it could
greatly improve compile times (well, it is possible to build a custom
camlp4.opt linked statically with .cmx syntax extensions, but this is not
the usual way to use camlp4).

Fabrice Le Fessant wrote the AsmDynlink library to load .cmo modules
from a native program (including wrappers to make the values of the two
world compatible). Fabrice: any news about an updated release?

-- Alain

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: