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.6 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 6C0C2BBAF for ; Mon, 23 Mar 2009 01:00:26 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AokAAN9txknUnwdkimdsb2JhbACCHpNSAQEBCgkMBw8GukyDfgY X-IronPort-AV: E=Sophos;i="4.38,404,1233529200"; d="scan'208";a="24768638" Received: from relay.pcl-ipout02.plus.net ([212.159.7.100]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Mar 2009 01:00:25 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvYEAN9txknUnw4R/2dsb2JhbACCHs5cg34G Received: from pih-relay04.plus.net ([212.159.14.17]) by relay.pcl-ipout02.plus.net with ESMTP; 23 Mar 2009 00:00:25 +0000 Received: from [87.115.34.174] (helo=leper.local) by pih-relay04.plus.net with esmtp (Exim) id 1LlXaa-0005sm-VS for caml-list@yquem.inria.fr; Mon, 23 Mar 2009 00:00:25 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Re: Caml-list Digest, Vol 45, Issue 63 Date: Mon, 23 Mar 2009 00:06:22 +0000 User-Agent: KMail/1.9.9 References: <20090321161035.9FA65BC1F@yquem.inria.fr> <200903220004.49019.cdome@bk.ru> In-Reply-To: <200903220004.49019.cdome@bk.ru> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200903230006.22306.jon@ffconsultancy.com> X-Plusnet-Relay: d6dcc0c8eb9e38d69815e880eee72675 X-Spam: no; 0.00; ocaml:01 ocaml:01 bindings:01 dependencies:01 ocaml's:01 2009:98 frog:98 wrote:01 stack:01 caml-list:01 caml-list:01 digest:01 assembler:02 top-level:03 optimized:04 On Saturday 21 March 2009 22:04:48 Andrey Riabushenko wrote: > >You can generate code that is optimized for the current machine. > >You can provide a performant top-level. > >Forgetting about JIT would certainly be a mistake. > > Because I not going to JIT the ocaml source, I do not need neither LLVM > libraries nor its ocaml bindings. I am going to produce LLVM assembler > directly without introduction of new dependencies to the ocaml trunk (this > is really important for ocaml). If I JIT the code then it will become a > whole new project which we never be merged to the ocaml trunk. How will you generate stack maps for OCaml's GC without touching LLVM? -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e