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 WAA03872; Sun, 10 Aug 2003 22:25:21 +0200 (MET DST) 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 WAA16662 for ; Sun, 10 Aug 2003 22:25:20 +0200 (MET DST) Received: from mail3.tpgi.com.au (mail.tpgi.com.au [203.12.160.59]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h7AKPIT12335 for ; Sun, 10 Aug 2003 22:25:19 +0200 (MET DST) Received: from 203-219-225-62-syd-ts24-2600.tpgi.com.au (203-219-225-62-syd-ts24-2600.tpgi.com.au [203.219.225.62]) by mail3.tpgi.com.au (8.11.6/8.11.6) with ESMTP id h7AKPC801760; Mon, 11 Aug 2003 06:25:12 +1000 Subject: Re: [Caml-list] GODI news From: skaller Reply-To: skaller@ozemail.com.au To: Sven Luther Cc: caml-list@inria.fr In-Reply-To: <20030810073545.GA2114@iliana> References: <1060377600.1229.53.camel@ice.gerd-stolpmann.de> <20030808213705.GB21525@swordfish> <1060419878.988.36.camel@ice.gerd-stolpmann.de> <20030809170549.GH21525@swordfish> <3F354101.40700@quasar.ipa.nw.ru> <20030809211647.GA31982@iliana> <1060477875.29669.30.camel@localhost.localdomain> <20030810073545.GA2114@iliana> Content-Type: text/plain Message-Id: <1060547118.6174.32.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.2.2 (1.2.2-4) Date: 11 Aug 2003 06:25:18 +1000 Content-Transfer-Encoding: 7bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; ozemail:01 caml-list:01 sven:01 luther:01 hosted:99 dynamically:01 loadable:01 compiler:01 ocaml:01 trivial:01 native:02 wrote:03 library:03 dynamic:03 loading:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sun, 2003-08-10 at 17:35, Sven Luther wrote: > Well, the idea is to hve a native cross compiler. > > The ocaml team is not interested by such a thing though. they may well be: it might be better to say you don't think they've made it a high priority. As you youself point out building a cross compiler isn't a trivial exercise: building a hosted compiler that works on many platforms is hard enough. Still, eventually it should just be a matter of plugging in a different code generator, represented by a dynamically loadable shared library .. of course, Ocaml doesn't support that yet for Ocaml code, so my guess is that dynamic loading is probably a pre-requisite, and also more generally useful. ------------------- 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