From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 D4D407ED7A for ; Mon, 27 Aug 2012 02:14:57 +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: AqYCALq6OlDAbSoIe2dsb2JhbABFhgOxKoNCIgEBFiYEI4IgAQEFIwQLAUYQCwkPAgIZDQICFBgxiCAEqBeSFhSBDYlnhX8yYAONdIdgkns X-IronPort-AV: E=Sophos;i="4.80,316,1344204000"; d="scan'208";a="153866220" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 Aug 2012 02:14:57 +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 q7R0Ep7h022595 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Mon, 27 Aug 2012 02:14:52 +0200 Received: by first (Postfix, from userid 1000) id A05F71540663; Mon, 27 Aug 2012 02:14:51 +0200 (CEST) Date: Mon, 27 Aug 2012 02:14:51 +0200 From: oliver To: Daniel =?utf-8?Q?B=C3=BCnzli?= Cc: Gabriel Scherer , Hongbo Zhang , Caml List Message-ID: <20120827001451.GA3759@siouxsie> References: <503A30A7.3030707@gmail.com> <20120826191020.GB1908@siouxsie> <20120826205207.GA2356@siouxsie> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20120826205207.GA2356@siouxsie> 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 10:52:07PM +0200, oliver wrote: > 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?) [...] top - 02:12:24 up 5:06, 6 users, load average: 1.66, 1.50, 1.46 [...] PID USER PR NI VIRT RES SHR S %CPU %MEM TIME+ COMMAND 2471 oliver 20 0 15604 3268 692 R 82.0 0.2 160:24.91 ocaml [...] Time to kill that process.... ...nice working example. :-) Ciao, Oliver