From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jonathandeanharrop@googlemail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id E8573BC57
	for <caml-list@yquem.inria.fr>; Fri,  3 Dec 2010 21:07:42 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoIAAHfc+ExKfVK0kGdsb2JhbACWSIxqCBUBAQIJCQwHEQQeqTKMAAEFjgMBBIIUgzQ
X-IronPort-AV: E=Sophos;i="4.59,294,1288566000"; 
   d="scan'208";a="82350403"
Received: from mail-wy0-f180.google.com ([74.125.82.180])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 03 Dec 2010 21:07:42 +0100
Received: by wyb29 with SMTP id 29so5064077wyb.39
        for <caml-list@yquem.inria.fr>; Fri, 03 Dec 2010 12:07:42 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=domainkey-signature:received:received:from:to:references
         :in-reply-to:subject:date:organization:message-id:mime-version
         :content-type:content-transfer-encoding:x-mailer:thread-index
         :content-language;
        bh=t5ZD/4XQPqaYTgClWINUJCg+P+xAtelO+ltsnDWHRV0=;
        b=YCKoiMgHhBAS6hKr58JfDtCiRYnAQFA+ipHcnzP/twnMr4ksgPrGEiu68caX6C7cgz
         MdSAdUgJqE1W8jEIe+inejud3i1MelNoickQjRYhPgdd3Q3/mylbW+a2Nf5EvcMpmyg2
         EksBUbAQWHQR6VVVciZk8cFNOEb81E3TCEgnQ=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=gamma;
        h=from:to:references:in-reply-to:subject:date:organization:message-id
         :mime-version:content-type:content-transfer-encoding:x-mailer
         :thread-index:content-language;
        b=alUq8PdsjDSbAwqiGNSSFYwXHOJbHLVNhOS1Mb4/iWHQi/MK8+MRplD4mvX4M8J7B2
         BPWh/OCSAFo6m2E3EHgCqgeME4jCAU+/eofPbDXcP5UmrXwuPljJK6qUDH/xppk8J0gl
         ryQytkgya4O8VHw7pDLt4pASUUuFNY+HNjJnY=
Received: by 10.227.146.149 with SMTP id h21mr2448135wbv.139.1291406861919;
        Fri, 03 Dec 2010 12:07:41 -0800 (PST)
Received: from WinEight ([87.113.160.118])
        by mx.google.com with ESMTPS id f35sm1529427wbf.2.2010.12.03.12.07.38
        (version=SSLv3 cipher=RC4-MD5);
        Fri, 03 Dec 2010 12:07:39 -0800 (PST)
From: Jon Harrop <jonathandeanharrop@googlemail.com>
To: "'Benedikt Meurer'" <benedikt.meurer@googlemail.com>,
	<caml-list@yquem.inria.fr>
References: <3DCEA910-1382-47E5-876B-059178F8F82E@googlemail.com>	<20101130124803.7952fca1@deb0>	<D6C274D9-8A00-4D6F-936A-58206CA5D358@googlemail.com>	<AANLkTi=Wu1SXVgQ+X0NECNx3oUsD=xEy-9Zq6T3ncJ+W@mail.gmail.com>	<B8C055A1-2A67-4C7E-BF67-4A639619C4EB@wanadoo.fr>	<0a8b01cb90da$da5e6240$8f1b26c0$@com>	<5E2DA3F1-7998-4F62-B617-7B6451D1001D@googlemail.com>	<0b3b01cb9161$a81c8e10$f855aa30$@com>	<B965CE04-4059-421F-A8CD-EB178BF32D40@googlemail.com>	<0b9301cb91a3$8f42fd60$adc8f820$@com> <AB3E2F68-0E5B-4B4F-A4F8-3C67BD6F598E@googlemail.com>
In-Reply-To: <AB3E2F68-0E5B-4B4F-A4F8-3C67BD6F598E@googlemail.com>
Subject: RE: ocamlopt LLVM support (Was: [Caml-list] OCamlJIT2 vs. OCamlJIT)
Date: Fri, 3 Dec 2010 20:07:04 -0000
Organization: Flying Frog Consultancy
Message-ID: <0cae01cb9325$a8ddc3d0$fa994b70$@com>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Office Outlook 12.0
Thread-Index: AcuS0YGUiWVaoNT6RtewvSv+EnqQpwAU5tFg
Content-Language: en-gb
X-Spam: no; 0.00; ocamlopt:01 cheers:01 wrote:01 caml-list:01 functional:02 functional:02 languages:03 languages:03 benedikt:03 somewhat:05 implement:06 implementing:06 target:91 stuff:09 difficult:13 

Benedikt wrote:
> So, let's take that LLVM thing to a somewhat more serious level (which
> means no more arguing with toy projects that simply ignore the
> difficult stuff).

You can learn a lot from prototypes.

> 3. A better LLVM. If we do it right, other's implementing functional
> languages using LLVM will not be faced with the same problems again.
> Dunno if that's possible.

What exactly are you thinking of that goes beyond what the other functional
languages that already target LLVM have already had to implement?

Cheers,
Jon.