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 WAA06623; Mon, 31 Dec 2001 22:57:24 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA06498 for ; Mon, 31 Dec 2001 22:57:23 +0100 (MET) Received: from sol.wwwnexus.com (sol.wwwnexus.com [209.150.128.86]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id fBVLvMD01552 for ; Mon, 31 Dec 2001 22:57:22 +0100 (MET) Received: from developer1-2k.einfo.com (12-234-40-136.client.attbi.com [12.234.40.136]) by sol.wwwnexus.com (8.11.6/8.11.6) with ESMTP id fBVLvJk08292; Mon, 31 Dec 2001 15:57:19 -0600 Message-Id: <5.1.0.14.2.20011231140133.030756c0@einfo.com> X-Sender: einfo@einfo.com X-Mailer: QUALCOMM Windows Eudora Version 5.1 Date: Mon, 31 Dec 2001 14:03:05 -0800 To: Shannon --jj Behrens From: Byron Hale Subject: Re: [Caml-list] Kernel in OCAML using native compiler Cc: caml-list@inria.fr In-Reply-To: <20011220091616.22485.qmail@web10707.mail.yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk There was a project at MIT to write a kernel in SML97. I don't have a ready link and don't know if it's still extant. Regards, Byron Hale At 01:16 AM 12/20/2001 -0800, you wrote: >Can anyone point me to any links concerning writing a >kernel in OCAML using the native compiler? Also, >please feel free to correct me if anyone feels that >this is similar to trying to trisect an angle (i.e. >completely foolish). > >Thanks for your patience, >-jj > >__________________________________________________ >Do You Yahoo!? >Check out Yahoo! Shopping and Yahoo! Auctions for all of >your unique holiday gifts! Buy at http://shopping.yahoo.com >or bid at http://auctions.yahoo.com >------------------- >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 ------------------- 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