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 SAA13868; Thu, 20 Dec 2001 18:44:49 +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 SAA13616 for ; Thu, 20 Dec 2001 18:44:48 +0100 (MET) Received: from quetelet.bik-gmbh.de (quetelet.bik-gmbh.de [194.233.237.132]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id fBKHimf26243 for ; Thu, 20 Dec 2001 18:44:48 +0100 (MET) Received: from hars by quetelet.bik-gmbh.de with local (Exim 3.12 #1 (Debian)) id 16H7DB-0001d9-00; Thu, 20 Dec 2001 18:42:29 +0100 Date: Thu, 20 Dec 2001 18:42:29 +0100 From: Florian Hars To: Shannon --jj Behrens Cc: caml-list@inria.fr Subject: Re: [Caml-list] Kernel in OCAML using native compiler Message-ID: <20011220184229.A6254@hars> References: <20011220091616.22485.qmail@web10707.mail.yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <20011220091616.22485.qmail@web10707.mail.yahoo.com>; from jjinux@yahoo.com on Thu, Dec 20, 2001 at 01:16:16AM -0800 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, Dec 20, 2001 at 01:16:16AM -0800, Shannon --jj Behrens wrote: > Can anyone point me to any links concerning writing a > kernel in OCAML using the native compiler? The last time something like this was discussed, people recommended http://www.research.att.com/projects/cyclone instead. Yours, Florian. ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr