From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 94B35BC6A for ; Tue, 13 Sep 2005 08:19:54 +0200 (CEST) Received: from xproxy.gmail.com (xproxy.gmail.com [66.249.82.200]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j8D6Jr0P018333 for ; Tue, 13 Sep 2005 08:19:54 +0200 Received: by xproxy.gmail.com with SMTP id h26so996015wxd for ; Mon, 12 Sep 2005 23:19:53 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=CwXuYdPJc1BhfhH03d3SE+Qws3Il/bQVcRh3ZpyFO1vu2FpRkS+12H7ARXtN4Hj+/EKbVGhfuHYQ9cgi9xrxYvRWcAd/QpZpqtxvaDu29RcaWVR0n66IwtJqabvfbFKs+JLhDYByMy0nSHg8pWf8kV8QqdpyGpEtHG2y7ttFKnk= Received: by 10.70.52.5 with SMTP id z5mr40364wxz; Mon, 12 Sep 2005 23:19:53 -0700 (PDT) Received: by 10.70.14.11 with HTTP; Mon, 12 Sep 2005 23:19:53 -0700 (PDT) Message-ID: Date: Tue, 13 Sep 2005 00:19:53 -0600 From: Mackenzie Straight Reply-To: eizneckam@gmail.com To: Jon Harrop Subject: Re: [Caml-list] Compiling to OCaml bytecode Cc: caml-list@yquem.inria.fr In-Reply-To: <200509130148.01174.jon@ffconsultancy.com> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <200509090622.58156.jon@ffconsultancy.com> <626610B4-6781-4FE9-B1A9-A8B37CB5391A@mac.com> <200509130148.01174.jon@ffconsultancy.com> X-Miltered: at nez-perce with ID 43266F89.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 bytecode:01 ocaml:01 cmo:01 dynlink:01 bytecomp:01 metaocaml:01 ...:98 wrote:01 modules:01 data:02 native:02 compiling:02 structure:04 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.9 required=5.0 tests=RCVD_BY_IP, RCVD_IN_BL_SPAMCOP_NET autolearn=disabled version=3.0.3 On 9/12/05, Jon Harrop wrote:=20 > > > Does the OCaml distribution expose everything needed to do this? > > > > No. >=20 > Damn. >=20 > A ".cmo" is just a marshalled data structure though, right? So could I sp= it > those out and then dynlink them back in? You may want to take a look at the modules under bytecomp/ -- specifically: Instruct, Meta, Emitcode. But really, MetaOCaml can probably do what you want (and now supports native code on x86)... --eiz