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=2.9 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 3286FBC37 for ; Sun, 27 Sep 2009 19:07:16 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlwJAAs5v0rRVdvfkGdsb2JhbACCIzCPEod6ZD8BAQEBCQkMBxMDqSKOAgEDAgWEGQWJCw X-IronPort-AV: E=Sophos;i="4.44,461,1249250400"; d="scan'208";a="47381555" Received: from mail-ew0-f223.google.com ([209.85.219.223]) by mail4-smtp-sop.national.inria.fr with ESMTP; 27 Sep 2009 19:07:15 +0200 Received: by ewy23 with SMTP id 23so3734293ewy.26 for ; Sun, 27 Sep 2009 10:07:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:date:x-google-sender-auth:message-id:subject:from:to:cc :content-type; bh=E9UnDhyONTO4PP17MP4eg5TfIuFlAWkuQlTLUwot9Co=; b=f2QMsmff1mZnkJOQmmc9O1xZj1uvP7CZyWZu3ZsHSH78OD7Y6du4fb6LNpXYqdohpn MVRxrk3KaaLrdgvBs1qQci5MLjzaAYGdUi4O5vgfcoYi1e+Zgg7hGIo9cVWsYs8h/SIG 1tT/aVq41s45EFubIa/pirBvmMloEBVhVLNww= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; b=JqW/pvQWAkbaEZj88LtQYprq3pD9JOEdXxnbtJEpup4Hls2wlnwMUi7Py/gJyYuR5O fR2BfZatj7iXC2HBOSorKVfXMTFNBq2T8m1dapnnvvAuTD8sfqwyjKvMS548gYulBG8E Y4FBE/UlJJUd/5GjJGy0T5R0A38/X6JN09GM4= MIME-Version: 1.0 Sender: alpmestan@gmail.com Received: by 10.216.49.80 with SMTP id w58mr625742web.75.1254071234960; Sun, 27 Sep 2009 10:07:14 -0700 (PDT) In-Reply-To: <3A5DD7BA-C2C1-4775-9566-70EE25AE74B9@refined-audiometrics.com> References: <3A5DD7BA-C2C1-4775-9566-70EE25AE74B9@refined-audiometrics.com> Date: Sun, 27 Sep 2009 19:07:14 +0200 X-Google-Sender-Auth: 987be05729d9a7ef Message-ID: Subject: Re: [Caml-list] HLVM From: Alp Mestan To: David McClain Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001485f6ce6a7b9c4c04749236ce X-Spam: no; 0.00; ocaml:01 compiler:01 ocaml's:01 compiler:01 ocaml:01 ocaml's:01 2009:98 blog:98 2009:98 blog:98 wrote:01 wrote:01 caml-list:01 dbm:03 dbm:03 --001485f6ce6a7b9c4c04749236ce Content-Type: text/plain; charset=ISO-8859-1 On Sun, Sep 27, 2009 at 6:57 PM, David McClain wrote: > And forgive me for asking what may seem a question with an obvious > answer... but now don't you also have to change the OCaml compiler back end > to target the HLVM? > The current "example" provided with HLVM is a very minimal ML-style language implementation. However, there was a Jane Street Summer Project proposal to port OCaml's current compiler to HLVM/LLVM. It hasn't been accepted. But if HLVM gets more complete and enhanced, yeah, it would require porting the compiler to target HLVM/LLVM. Regards. -- Alp Mestan http://blog.mestan.fr/ http://alp.developpez.com/ --001485f6ce6a7b9c4c04749236ce Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On Sun, Sep 27, 2009 at 6:57 PM, David McClain <= span dir=3D"ltr"><dbm@re= fined-audiometrics.com> wrote:
And forgive me for asking what may seem a question with an obvious answer..= . but now don't you also have to change the OCaml compiler back end to = target the HLVM?

The current "example" p= rovided with HLVM is a very minimal ML-style language implementation. Howev= er, there was a Jane Street Summer Project proposal to port OCaml's cur= rent compiler to HLVM/LLVM. It hasn't been accepted.

But if HLVM gets more complete and enhanced, yeah, it would= require porting the compiler to target HLVM/LLVM.

Regards.

-= -
Alp Mestan
http://blog.mestan.f= r/
http://alp.developpez.com/
--001485f6ce6a7b9c4c04749236ce--