From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p39EswNF026259
	for <caml-list@sympa-roc.inria.fr>; Sat, 9 Apr 2011 16:54:58 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsoCADNyoE3RVdY2kGdsb2JhbACmFQgUAQEBAQkJDQcUBCGIepxfimiCI4QYMIhdAQEDBoIag04EjViEZYRTOg
X-IronPort-AV: E=Sophos;i="4.63,330,1299452400"; 
   d="scan'208";a="96623769"
Received: from mail-bw0-f54.google.com ([209.85.214.54])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Apr 2011 16:54:53 +0200
Received: by bwz12 with SMTP id 12so6546619bwz.27
        for <caml-list@inria.fr>; Sat, 09 Apr 2011 07:54:52 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:cc:message-id:from:to:in-reply-to:content-type
         :content-transfer-encoding:mime-version:subject:date:references
         :x-mailer;
        bh=p++ggHE2ETtTA1q43SOaSu4APPTt1apgiI7kHxxusV0=;
        b=dDg0vYrgOdO+I5K32wcuksRzG3thjDr822taJ918IU/JBHSUtkQFAHziU7bSnUY2vH
         4wBmoxz7PIzMcvRongDA3EgLRshwcC7ytz93PtGB3vJf+LCFzCMX5gdOVpsURBpYPHli
         rIf8zTTusaVH4axpXVeObfTtelTTkHBe9qJ7M=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=cc:message-id:from:to:in-reply-to:content-type
         :content-transfer-encoding:mime-version:subject:date:references
         :x-mailer;
        b=Jj2+edcwWwBQLn4c1KVd0tiuiacES0tiZ8cqPIg57gAjw6I4auABed7lrgoqKOdBC7
         rr0SrL6h5kbCHbeZSd9JLx2tmzoqyeap3EP1vuVf1XSFqFt0+zZXXgvKRMqOxphAdYt/
         9Q2keOQknJ6Y2EXMjOQfxxidVzcUbAA+DPd9g=
Received: by 10.205.24.13 with SMTP id rc13mr3142723bkb.75.1302360891391;
        Sat, 09 Apr 2011 07:54:51 -0700 (PDT)
Received: from chello080108243032.15.14.vie.surfer.at (chello080108243032.15.14.vie.surfer.at [80.108.243.32])
        by mx.google.com with ESMTPS id z21sm1878997bku.4.2011.04.09.07.54.46
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 09 Apr 2011 07:54:49 -0700 (PDT)
Cc: caml-list@inria.fr
Message-Id: <41AC9012-31EE-4C46-BCA6-9EC1BCC210E4@gmail.com>
From: Vincent Aravantinos <vincent.aravantinos@gmail.com>
To: Arthur Peters <amp@singingwizard.org>
In-Reply-To: <BANLkTimRSXQ-pRm61eiaNb_sABgdXPmxUw@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes
Mime-Version: 1.0 (Apple Message framework v936)
Date: Sat, 9 Apr 2011 16:54:44 +0200
References: <BANLkTimRSXQ-pRm61eiaNb_sABgdXPmxUw@mail.gmail.com>
X-Mailer: Apple Mail (2.936)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p39EswNF026259
Subject: Re: [Caml-list] Documentation of the OCaml Lambda Intermediate Language

Hi,

Le 7 avr. 11 à 22:37, Arthur Peters a écrit :

> I am looking to build a simple LLVM code generator that takes lambda  
> and output LLVM bytecode (allowing it to use all the fun JIT and  
> optimization, etc features of LLVM). Out of curiosity has this been  
> attempted before?

The question of LLVM and ocaml has been raised quite a few times, see  
e.g.:

<http://groups.google.com/group/fa.caml/browse_thread/thread/284aff5210b4390e/8d62c4114f640e3e?lnk=gst&q=llvm#8d62c4114f640e3e 
 >
<http://groups.google.com/group/fa.caml/browse_thread/thread/6aff6222b6f0cdb8/6c21a4e75713ca22?lnk=gst&q=llvm#6c21a4e75713ca22 
 >

and more generally:

<http://groups.google.com/group/fa.caml/search?group=fa.caml&q=llvm>

Cheers,
V.