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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id DBB2ABC6B for ; Mon, 26 Nov 2007 20:31:41 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAP6tSkfAXQInh2dsb2JhbACPQQEBAQgKKQ X-IronPort-AV: E=Sophos;i="4.23,215,1194217200"; d="scan'208";a="19698936" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 26 Nov 2007 20:31:41 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lAQJVeK7010039 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 26 Nov 2007 20:31:41 +0100 X-IronPort-AV: E=Sophos;i="4.23,215,1194217200"; d="scan'208";a="4628796" Received: from smtpoutm.mac.com ([17.148.16.71]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Nov 2007 20:31:40 +0100 Received: from mac.com (asmtp006-s [10.150.69.69]) by smtpoutm.mac.com (Xserve/smtpout008/MantshX 4.0) with ESMTP id lAQJVdCL004146 for ; Mon, 26 Nov 2007 11:31:39 -0800 (PST) Received: from [192.168.8.101] (c-24-218-151-219.hsd1.ma.comcast.net [24.218.151.219]) (authenticated bits=0) by mac.com (Xserve/asmtp006/MantshX 4.0) with ESMTP id lAQJVa3s004336 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO) for ; Mon, 26 Nov 2007 11:31:37 -0800 (PST) Message-Id: <0B95C292-C105-4027-80ED-9DFFCFFFA261@mac.com> From: Gordon Henriksen To: caml-list@inria.fr In-Reply-To: <474B1007.5050600@starynkevitch.net> Content-Type: text/plain; charset=WINDOWS-1252; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v915) Subject: Re: [Caml-list] Ocaml(opt) & llvm Date: Mon, 26 Nov 2007 14:31:36 -0500 References: <474B1007.5050600@starynkevitch.net> X-Mailer: Apple Mail (2.915) X-Miltered: at concorde with ID 474B1F1D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 basile:01 ocaml:01 compiler:01 compiler:01 26,:98 2007,:98 wrote:01 caml-list:01 binding:02 opt:04 snapshot:05 thread:06 probably:07 uses:07 On Nov 26, 2007, at 13:27, Basile STARYNKEVITCH wrote: > Hello All (to Ocaml List & CC LLVM list) > > As some might probably know, the LLVM compiler http://llvm.org/ has =20= > (at least in its latest SVN snapshot) a binding for Ocaml. This =20 > means that one could code in Ocaml some stuff (eg a JIT-ing =20 > compiler) which uses (and links with) LLVM libraries. > [...] To avoid cross-posting, my followups to this thread will be on llvmdev. http://lists.cs.uiuc.edu/pipermail/llvmdev/2007-November/011527.html =97 Gordon