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] Compiling a native code OCaml library into an .so?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-11-20 (11:30)
From: Ville-Pertti Keinonen <will@e...>
Subject: Re: [Caml-list] Caml as C-- (was: Compiling a native code OCaml library into an .so?)
On Thu, Nov 20, 2003 at 06:13:09AM -0500, Oleg Trott wrote:

> Things like this make me wonder how people outside of INRIA understand the 
> inner workings of Caml compiler (enough to modify it). Just  guessing by 
> looking at the rather sparcely commented source? Or is there anything else?

I find most of it fairly easy to understand (although I haven't tried to
modify it).  Just looking at the definitions of the types for the various
representations is very enlightening.

> In particular, I'm curious if parts of Caml compiler, such as "asmcomp", could 
> be used as a sort of C--, i.e. a weakly typed backend for another language, 
> especially if the language itself is written in Caml.

It's actually called C--...did you know that already?

Look in the asmcomp and testasmcomp directories if you didn't already...

The license might be an issue in actually using the code in a compiler
for another language, though.

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