From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <nogin@metaprl.org>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 5486C820A1
	for <caml-list@sympa.inria.fr>; Mon,  9 Sep 2013 19:32:54 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  nogin@metaprl.org) identity=pra; client-ip=216.14.127.180;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="nogin@metaprl.org";
  x-sender="nogin@metaprl.org"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  nogin@metaprl.org) identity=mailfrom;
  client-ip=216.14.127.180;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="nogin@metaprl.org";
  x-sender="nogin@metaprl.org"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@main.metaprl.org) identity=helo;
  client-ip=216.14.127.180;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="nogin@metaprl.org";
  x-sender="postmaster@main.metaprl.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApMAAKQFLlLYDn+0l2dsb2JhbABbwzOCdYE6DgEBAQEBCBYHPIIlAQEEAXkFCwshExIPAkYGDQEHAQGHeAbEDJAAB4QdA4k1o2Y
X-IPAS-Result: ApMAAKQFLlLYDn+0l2dsb2JhbABbwzOCdYE6DgEBAQEBCBYHPIIlAQEEAXkFCwshExIPAkYGDQEHAQGHeAbEDJAAB4QdA4k1o2Y
X-IronPort-AV: E=Sophos;i="4.90,872,1371074400"; 
   d="scan'208";a="26239290"
Received: from ns.n0bu.com (HELO main.metaprl.org) ([216.14.127.180])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 09 Sep 2013 19:32:51 +0200
Received: from hp.nogin.org (c-76-20-72-37.hsd1.ca.comcast.net [76.20.72.37])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by main.metaprl.org (Postfix) with ESMTPSA id 29A3A78D0001;
	Mon,  9 Sep 2013 10:32:49 -0700 (PDT)
Message-ID: <522E0640.90302@metaprl.org>
Date: Mon, 09 Sep 2013 10:32:48 -0700
From: Aleksey Nogin <nogin@metaprl.org>
Organization: MetaPRL/Mojave Research Group
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130809 Thunderbird/17.0.8
MIME-Version: 1.0
To: Romain Bardou <romain.bardou@inria.fr>
CC: caml-list@inria.fr
References: <5229DEF9.7040706@inria.fr> <522A22DC.9080604@ens-lyon.org> <522D838B.8050203@inria.fr>
In-Reply-To: <522D838B.8050203@inria.fr>
X-Enigmail-Version: 1.5.2
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Accelerating compilation

On 09.09.2013 01:15, Romain Bardou wrote:

> It might seem very small compared to say, Coq :) But still, having to
> wait ~10s just to find the next pattern-matching to fix is already
> annoying and it will only get worse.

"omake -p" is your friend ;-)

Aleksey