From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oliver@first.in-berlin.de>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 4D13D7ED7A
	for <caml-list@sympa.inria.fr>; Sun, 26 Aug 2012 22:52:13 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  oliver@first.in-berlin.de) identity=pra;
  client-ip=192.109.42.8;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="oliver@first.in-berlin.de";
  x-sender="oliver@first.in-berlin.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  oliver@first.in-berlin.de) identity=mailfrom;
  client-ip=192.109.42.8;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="oliver@first.in-berlin.de";
  x-sender="oliver@first.in-berlin.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@einhorn.in-berlin.de) identity=helo;
  client-ip=192.109.42.8;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="oliver@first.in-berlin.de";
  x-sender="postmaster@einhorn.in-berlin.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApcCALWLOlDAbSoIe2dsb2JhbABFhgO0aCIBARYmBCOCIQEFIwQLAUYQCwkRAiYCAhQYMYggBKhCkhIUgQ2JZ4V/MmADjXSHYJJ7
X-IronPort-AV: E=Sophos;i="4.80,316,1344204000"; 
   d="scan'208";a="153860884"
Received: from einhorn.in-berlin.de ([192.109.42.8])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Aug 2012 22:52:12 +0200
X-Envelope-From: oliver@first.in-berlin.de
Received: from first (e178029129.adsl.alicedsl.de [85.178.29.129])
	(authenticated bits=0)
	by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id q7QKq7kV013322
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT);
	Sun, 26 Aug 2012 22:52:07 +0200
Received: by first (Postfix, from userid 1000)
	id 6B1391540663; Sun, 26 Aug 2012 22:52:07 +0200 (CEST)
Date: Sun, 26 Aug 2012 22:52:07 +0200
From: oliver <oliver@first.in-berlin.de>
To: Daniel =?utf-8?Q?B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
Cc: Gabriel Scherer <gabriel.scherer@gmail.com>,
        Hongbo Zhang <bobzhang1988@gmail.com>, Caml List <caml-list@inria.fr>
Message-ID: <20120826205207.GA2356@siouxsie>
References: <503A30A7.3030707@gmail.com>
 <CAPFanBFtypXBgv-vOZjPfk0hKeXnLJddkw0aKRNX6YV_3Uu2nA@mail.gmail.com>
 <20120826191020.GB1908@siouxsie>
 <AF136E3F79894EEE86D12D9E5CE13226@erratique.ch>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <AF136E3F79894EEE86D12D9E5CE13226@erratique.ch>
User-Agent: Mutt/1.5.20 (2009-06-14)
X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8
Subject: Re: [Caml-list] How to profile compiler's performance

On Sun, Aug 26, 2012 at 09:59:24PM +0200, Daniel Bünzli wrote:
[...]
> Example program, from Mairson, as found in Pierce's Types and Programming languages:
> 
> let f0 = fun x -> (x, x) in
> let f1 = fun y -> f0 (f0 y) in
> let f2 = fun y -> f1 (f1 y) in
> let f3 = fun y -> f2 (f2 y) in
> let f4 = fun y -> f3 (f3 y) in
> let f5 = fun y -> f4 (f4 y) in
> f5 (fun z -> z)
> ;;
[...]

Oh.

> 
> (Start compilation and go make the coffee)

I do like coffee.... but the circumstances for this one aren't
a pleasure.

Nevertheless thanks for the example code.

(Do you have an estimation if it will take hours, days or weeks to get that parsed?)

Ciao,
   Oliver