From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 708EFBB81 for ; Sat, 31 Dec 2005 22:32:17 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jBVLWGvm011745 for ; Sat, 31 Dec 2005 22:32:16 +0100 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 WAA04060 for ; Sat, 31 Dec 2005 22:32:16 +0100 (MET) Received: from mailrelay.linspireinc.com ([130.94.123.196]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jBVLWD0p011738 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL); Sat, 31 Dec 2005 22:32:15 +0100 X-ASG-Debug-ID: 1136064697-4466-3-0 X-Barracuda-URL: http://130.94.123.203:43970/cgi-bin/mark.cgi Received: from linspire.com (adsl-63-196-84-93.dsl.sndg02.pacbell.net [63.196.84.93]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mailrelay.linspireinc.com (Spam Firewall) with ESMTP id 9523F2000247; Sat, 31 Dec 2005 13:31:56 -0800 (PST) Message-ID: <43B6F8AF.6010807@linspire.com> Date: Sat, 31 Dec 2005 13:31:27 -0800 From: David Fox User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20051227 Linspire/1.6-5.1.1.50.linspire0.13 X-Accept-Language: en, en-us MIME-Version: 1.0 To: Xavier Leroy Cc: skaller , caml-list@inria.fr X-ASG-Orig-Subj: Re: [Caml-list] PIC Subject: Re: [Caml-list] PIC References: <1135476423.28426.45.camel@rosella> <43B1116C.5060407@inria.fr> In-Reply-To: <43B1116C.5060407@inria.fr> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Virus-Scanned: by Barracuda Spam Firewall at linspireinc.com X-Barracuda-Bayes: INNOCENT GLOBAL 0.0009 1.0000 -4.4774 INNOCENT GLOBAL 0.0009 1.0000 -4.4774;INNOCENT GLOBAL 0.0009 1.0000 -4.4774;INNOCENT GLOBAL 0.0009 1.0000 -4.4774 X-Barracuda-Spam-Score: -4.48 X-Barracuda-Spam-Status: No, SCORE=-4.48 using global scores of TAG_LEVEL=8.0 QUARANTINE_LEVEL=3.5 KILL_LEVEL=7.0 tests= X-Barracuda-Spam-Report: Code version 3.02, rules version 3.0.6786 Rule breakdown below pts rule name description ---- ---------------------- -------------------------------------------------- X-Miltered: at concorde with ID 43B6F8E0.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 43B6F8DD.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 ocaml:01 bytecode:01 wrote:01 supported:01 native:02 dynamic:03 loading:04 raises:05 xavier:06 leroy:07 seem:07 discussion:07 discussed:10 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 Xavier Leroy wrote: >Dynamic loading of OCaml code from OCaml code raises many other >issues. It is currently supported for bytecode only, and will not be >available for native code in the forseeable future. I have already >discussed this on this list earlier. > > I can seem to locate this discussion - do you remember any keywords I might search for?