From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA01983; Thu, 20 Nov 2003 12:30:46 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA01251 for ; Thu, 20 Nov 2003 12:30:45 +0100 (MET) Received: from oxy.exomi.com (fa-3-0-0.fw.exomi.com [217.169.64.99]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hAKBUi108440 for ; Thu, 20 Nov 2003 12:30:45 +0100 (MET) Received: by oxy.exomi.com (Postfix, from userid 501) id 24A16B569B; Thu, 20 Nov 2003 13:30:47 +0200 (EET) Date: Thu, 20 Nov 2003 13:30:47 +0200 From: Ville-Pertti Keinonen To: Oleg Trott Cc: caml-list@inria.fr Subject: Re: [Caml-list] Caml as C-- (was: Compiling a native code OCaml library into an .so?) Message-ID: <20031120113047.GC1387@exomi.com> Mail-Followup-To: Oleg Trott , caml-list@inria.fr References: <3FBC0177.1050307@cs.caltech.edu> <004001c3af17$20b46df0$dd79b1d5@tornado> <200311200613.09139.oleg_trott@columbia.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200311200613.09139.oleg_trott@columbia.edu> User-Agent: Mutt/1.4.1i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 oleg:01 workings:01 asmcomp:01 weakly:01 asmcomp:01 compiler:01 compiler:01 backend:01 ocaml:01 caml:01 caml:01 nov:01 inner:02 native:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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 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