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 TAA25433; Fri, 12 Mar 2004 19:29:27 +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 TAA25690 for ; Fri, 12 Mar 2004 19:29:26 +0100 (MET) Received: from gw02.mail.saunalahti.fi (gw02.mail.saunalahti.fi [195.197.172.116]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i2CITlKW004833 for ; Fri, 12 Mar 2004 19:29:47 +0100 Received: from aka.i.naked.iki.fi (naked.iki.fi [62.142.249.112]) by gw02.mail.saunalahti.fi (Postfix) with ESMTP id 4C3E8F1BC74; Fri, 12 Mar 2004 20:29:25 +0200 (EET) Received: from naked by aka.i.naked.iki.fi with local (Exim 3.36 #1 (Debian)) id 1B1rPQ-00065n-00; Fri, 12 Mar 2004 20:29:24 +0200 To: Alex Baretta Cc: Ocaml Subject: Re: [Caml-list] Lamda expressions and a caml interpreter References: <4051E31F.8000806@baretta.com> <8765dayouy.fsf@aka.i.naked.iki.fi> <40520007.2000704@baretta.com> From: Nuutti Kotivuori Date: Fri, 12 Mar 2004 20:29:24 +0200 In-Reply-To: <40520007.2000704@baretta.com> (Alex Baretta's message of "Fri, 12 Mar 2004 19:23:03 +0100") Message-ID: <871xnxzzp7.fsf@aka.i.naked.iki.fi> User-Agent: Gnus/5.1006 (Gnus v5.10.6) XEmacs/21.4 (Security Through Obscurity, linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 baretta:01 ocaml:01 ocaml:01 caml:01 caml:01 alex:01 bytecode:01 patch:02 patch:02 native:02 interpreter:03 wrote:03 dynamic:03 cleanly:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 124 Alex Baretta wrote: > I am aware of your patch. However, before using it in production > code I would have to see it adopted by Inria in the CVS or official > releases. Otherwise, I would risk breaking compatibility of my code > with future releases of Ocaml. Sane approach. > I look forward to seeing dynamic unlinking of code (bytecode or > native) in OCaml. Hopefully, your patch will help in this direction. Hopefully. My patch tries to get the functionality working as cleanly as possible with as little modifications to the core are possible. If it would get incorporated into OCaml mainline, it is probably worthwhile to get a little muddier to integrate it better with everything else. -- Naked ------------------- 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