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 SAA20127; Fri, 12 Mar 2004 18:08:57 +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 SAA19605 for ; Fri, 12 Mar 2004 18:08:56 +0100 (MET) Received: from gw02.mail.saunalahti.fi (gw02.mail.saunalahti.fi [195.197.172.116]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i2CH8sHd002945 for ; Fri, 12 Mar 2004 18:08:55 +0100 Received: from aka.i.naked.iki.fi (naked.iki.fi [62.142.249.112]) by gw02.mail.saunalahti.fi (Postfix) with ESMTP id 8F29FF1BAB8; Fri, 12 Mar 2004 19:08:53 +0200 (EET) Received: from naked by aka.i.naked.iki.fi with local (Exim 3.36 #1 (Debian)) id 1B1q9V-0005xh-00; Fri, 12 Mar 2004 19:08:53 +0200 To: Alex Baretta Cc: Ocaml Subject: Re: [Caml-list] Lamda expressions and a caml interpreter References: <4051E31F.8000806@baretta.com> From: Nuutti Kotivuori Date: Fri, 12 Mar 2004 19:08:53 +0200 In-Reply-To: <4051E31F.8000806@baretta.com> (Alex Baretta's message of "Fri, 12 Mar 2004 17:19:43 +0100") Message-ID: <8765dayouy.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 concorde 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 incompatible:01 ocamlopt:01 asmdynlink:01 3.02:01 resurrect:01 caml:01 caml:01 alex:01 bytecode:01 patch:02 patch:02 native:02 modules:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 121 Alex Baretta wrote: > Unfortunately, this approach to dynamic programming has two > problems: it is incompatible with a native code compilation of the > main program, which otherwise could take advantage of the speed > benefits of ocamlopt, and a memory leak due to the impossibility of > unlinking bytecode modules. The latter problem is the major one. The former problem is solved by Asmdynlink module. It last worked at 3.02 I believe, but there is hope that someone could resurrect it. The latter problem I have an unfinished patch to fix. You may browse the list archives to know more or ask me directly. Finishing the patch has been greatly delayed due to me being busy on switching jobs and such - but I have not forgotten it and will get around to it again. -- 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