From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <thelema314@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.8 required=5.0 tests=DNS_FROM_RFC_POST,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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 8CF80BBAF
	for <caml-list@yquem.inria.fr>; Sat,  6 Dec 2008 21:02:29 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmUBAIBpOklKfSwdkGdsb2JhbACTEj4BAQEBCQkMBxEDrGuBA4p6AQMBA4MC
X-IronPort-AV: E=Sophos;i="4.33,725,1220220000"; 
   d="scan'208";a="20898502"
Received: from yx-out-2324.google.com ([74.125.44.29])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 06 Dec 2008 21:02:29 +0100
Received: by yx-out-2324.google.com with SMTP id 3so237274yxj.3
        for <caml-list@yquem.inria.fr>; Sat, 06 Dec 2008 12:02:28 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from
         :user-agent:mime-version:to:cc:subject:references:in-reply-to
         :content-type:content-transfer-encoding;
        bh=1El2T7AGAT+t63lUN/Pi0uVbBiJf61PfWYDKhEA5XFU=;
        b=cfvag03iBUrT09LCJCJSJqTICCTo0oDxKiycu6qLW8nSYuGUGRecdoKrHmZWf3IqHs
         RQRpAEgI2KoJXZtEtaEvQ37SNtGz2F38xoVBj/7Z+Uxu8aQe07jp2hEaH2uZrWeuOKig
         WnBOE9r+EIWcw2EiN9xlOoNNBfqmb1JaWHaGY=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        b=hIGo3uHNKzqElq0jmRJhTbLEm4L+eYmydKVE9qDuKpn8rpHkt08bfqDcDsBbFF0Bn4
         5AI6VFFEAnbHsk8ibTWER0heHb4elcqNSd3liGqet24JAToc72q66FgzHu6tCF/Bg7mE
         mLii4onHhgg5DGpHQ/ww4EnJupKdef2lnCWIw=
Received: by 10.65.200.8 with SMTP id c8mr1173179qbq.57.1228593747906;
        Sat, 06 Dec 2008 12:02:27 -0800 (PST)
Received: from ?192.168.0.11? (adsl-69-151-9-74.dsl.stlsmo.swbell.net [69.151.9.74])
        by mx.google.com with ESMTPS id p31sm5013252qbp.20.2008.12.06.12.02.26
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Sat, 06 Dec 2008 12:02:27 -0800 (PST)
Message-ID: <493ADA51.5020704@gmail.com>
Date: Sat, 06 Dec 2008 14:02:25 -0600
From: Edgar Friendly <thelema314@gmail.com>
User-Agent: Thunderbird 2.0.0.18 (X11/20081125)
MIME-Version: 1.0
To: Gilles Pirio <gilles.ocaml@googlemail.com>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Ocaml back-end
References: <605bf2750812060448u787862c9xdc2528cb61bc01d7@mail.gmail.com>
In-Reply-To: <605bf2750812060448u787862c9xdc2528cb61bc01d7@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; ocaml:01 ocaml:01 cvs:01 inria's:01 cvs:01 compiler:01 ocamlc:01 compiler:01 edgar:98 git:98 wrote:01 caml-list:01 back-end:02 compiled:04 gilles:05 

Gilles Pirio wrote:
> (2) Any way to contribute this work back to Ocaml community (on a
> separate cvs branch?) or is this kind of work planned by the core
> Ocaml team?
> 
> Thanks,
> G<>

Well, I can give you access to an unofficial public git mirror of
INRIA's cvs.  I use it to build my compiler, but I dunno if anyone else
uses it.  If it had optimizations like this, they might very well.

I don't expect INRIA to work on such optimizations in the near future -
they seem to like ocamlc as a straightforward compiler - if you write
code to do [x], the compiled code will also do [x], even if it can be
shown to be a no-op.

E.