From: Robert Feldt Date: 2001-12-04T00:03:11+09:00 Subject: [ruby-talk:27351] OCaml native code compiler has little to do with C-- Hi, This is on an earlier thread were MikkelFJ and I discussed back ends for future Ruby compilers. I got a reply from Xavier Leroy on the Ocaml team regarding their connection to the C-- effort. FYI, I'm forwarding it. /RobertF ---------- Forwarded message ---------- Date: Mon, 3 Dec 2001 15:10:24 +0100 From: Xavier Leroy To: Robert Feldt Subject: Re: Docs on OCaml native code compiler? > I have one more question I hope you can answer: > > C-- is mentioned in the sources. Does this have any relation to the C-- > project at www.cminusminus.org or is it coincidental? I was the first to coin the name "C--" to refer to a low-level intermediate language of the same semantic level as C, but with support for GC and exceptions. Still, the C-- intermediate language used in ocamlopt is fairly specialized to OCaml as the source language. A few years later, Simon Peyton-Jones and Norman Ramsey had similar ideas, but for a more source-language independent IL. We discussed it for a while, and they liked the "C--" name, so I was happy to let them use it. Their design is certainly more thorough and more modular than what's in the ocamlopt compiler. - Xavier Leroy