From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id C845DBC6C for ; Fri, 1 Feb 2008 18:46:00 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4FAKjpokfAXQImh2dsb2JhbACCNo13AQEBCAopngI X-IronPort-AV: E=Sophos;i="4.25,291,1199660400"; d="scan'208";a="7525012" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 01 Feb 2008 18:46:00 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m11Hk06U029550 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 1 Feb 2008 18:46:00 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4FADHpokfUnw6Elmdsb2JhbACCNo13AQEBAQcEBgcKEQeeAg X-IronPort-AV: E=Sophos;i="4.25,291,1199660400"; d="scan'208";a="8620120" Received: from pih-relay05.plus.net ([212.159.14.132]) by mail3-smtp-sop.national.inria.fr with ESMTP; 01 Feb 2008 18:45:59 +0100 Received: from [80.229.56.224] (helo=beast.local) by pih-relay05.plus.net with esmtp (Exim) id 1JKzxe-0007aF-N3; Fri, 01 Feb 2008 17:45:58 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: Alain Frisch Subject: Re: [Caml-list] Using dynlink (native code and byte code) for the build system Date: Fri, 1 Feb 2008 16:21:25 +0000 User-Agent: KMail/1.9.7 References: <47A19CA2.9010303@exalead.com> <200801311448.38703.jon@ffconsultancy.com> <47A1FB6D.3030104@frisch.fr> In-Reply-To: <47A1FB6D.3030104@frisch.fr> Cc: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200802011621.25214.jon@ffconsultancy.com> X-Plusnet-Relay: f5f38f8b2ed1c080893c473bc78cdf0d X-Miltered: at discorde with ID 47A35AD8.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; dynlink:01 byte:01 frisch:01 toplevel:01 ocamlopt:01 metaocaml:01 ocamlopt:01 ocaml's:01 broadening:01 ocaml's:01 frog:98 wrote:01 caml-list:01 alain:01 native:03 On Thursday 31 January 2008 16:46:37 Alain Frisch wrote: > A nicer version of natdynlink (and of the native toplevel) could be > obtained by basing it on an LLVM backend for ocamlopt. (And I'm sure the > MetaOCaml guys would also love such a backend.) Absolutely! A reusable LLVM backend for ocamlopt will be a major step forward in OCaml's evolution, greatly broadening OCaml's usefulness as a tool. -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e