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 UAA25376; Tue, 17 Dec 2002 20:58:47 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA25371 for caml-list@pauillac.inria.fr; Tue, 17 Dec 2002 20:58:44 +0100 (MET) 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 TAA23715 for ; Tue, 17 Dec 2002 19:56:06 +0100 (MET) Received: from ep09.kernel.pl (ep09.kernel.pl [212.87.11.162]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gBHIu4n24333 for ; Tue, 17 Dec 2002 19:56:05 +0100 (MET) Received: (qmail 3651 invoked by uid 566); 17 Dec 2002 18:55:55 -0000 Date: Tue, 17 Dec 2002 19:52:26 +0100 From: Michal Moskal To: Jeffrey Palmer Cc: caml-list@inria.fr Subject: Re: [Caml-list] The Use of C--? Message-ID: <20021217185226.GA13061@roke.freak> References: <200212171202.07149.jeffrey.palmer@acm.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200212171202.07149.jeffrey.palmer@acm.org> User-Agent: Mutt/1.4i X-PGP-Fingerprint: CF89 1B14 11BE 1CC9 2CA3 7497 5E32 69B4 BC71 B4C2 X-AntiVirus: scanned for viruses by AMaViS 0.2.1 (http://amavis.org/) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Dec 17, 2002 at 12:02:07PM -0600, Jeffrey Palmer wrote: > Has been any discussion on the possibility of using C-- (www.cminusminus.org) > as a compiler back-end for O'Caml? (I took a look through the archives, but > didn't see anything relevant.) I'm not suggesting that things would be better > or worse than they are now, I'm just interested in the thoughts of the O'Caml > team. Does it (C--) work? I.e. are there any working compilers, that implement specification more recent then may 1999? More recent specification include stuff needed (well, maybe ,,usefull'' would be better word) in compilation of functional languages. Last time I checked Quick C-- was able to generate some code for SPARC (only), but there was a lot of ,,unknown'' instructions or something similar. -- : Michal Moskal ::::: malekith/at/pld-linux.org : GCS {C,UL}++++$ a? !tv : PLD Linux ::::::: Wroclaw University, CS Dept : {E-,w}-- {b++,e}>+++ h ------------------- 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