From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2EEjfv4012515 for ; Wed, 14 Mar 2012 15:45:41 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjoIAPitYE9iiuWicmdsb2JhbAA2DYJFogiSAAEMCgoJEimCBAEWIBUBAhUiARQFBAFwAQ4BBhguhS2CMBIEm32GQYg2CoJnhTKJMgEGCgGQcwSIV4Uoh16FZC1NiGODZg X-IronPort-AV: E=Sophos;i="4.73,584,1325458800"; d="scan'208,217";a="149346991" Received: from nm39-vm2.bullet.mail.ne1.yahoo.com ([98.138.229.162]) by mail1-smtp-roc.national.inria.fr with SMTP; 14 Mar 2012 15:45:35 +0100 Received: from [98.138.90.49] by nm39.bullet.mail.ne1.yahoo.com with NNFMP; 14 Mar 2012 14:45:33 -0000 Received: from [98.138.89.234] by tm2.bullet.mail.ne1.yahoo.com with NNFMP; 14 Mar 2012 14:45:33 -0000 Received: from [127.0.0.1] by omp1049.mail.ne1.yahoo.com with NNFMP; 14 Mar 2012 14:45:33 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 711625.46231.bm@omp1049.mail.ne1.yahoo.com Received: (qmail 22932 invoked by uid 60001); 14 Mar 2012 14:45:33 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1331736333; bh=i5vtXVf0fzMBKhE0B21N6PQUzAxGSrydstt4yVJ214Q=; h=X-YMail-OSG:Received:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type; b=3PgtJY2zxyhUPe0Q2u4aOZXWekME3sLqpWZ9YOxegdXfAuohv4+rnvjWvt0qSDJiFqn/Xr+YczoT9ZvbVusphkSJVj3SYB3DpQ7IoZ5katoi++pMERPZ69cikrDM9NhEMwpFPFU2dY0WKxummFwfFr4PIRNBkAXbVSAENa3o/PQ= DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type; b=J62P4oU6Xve6Rk2PA/SNHPfpFUokn/HNuMP9BkJwvaDdCnicW1FkCOSTj00LESbSeIv+gTDf1SsgnkDFHeSH/UQG/H8YAmTFAK2LrM6akzH7PLJFd+6UwQTUuwxdSVtsWXTf/GRD7RKVLMF/0siaYNXBxQ/2Zc9SR6RTe8WPI8A=; X-YMail-OSG: h_l7jL0VM1kudgoo.l_gWD8DDGtRl8Vid8eXMoRpEYftJpa l6vw8eSzsj9XqE9SltX9JFrayr2hgltXLvaR0Jx8NYcDzseuaycvqp9n7xJs CoIux_czkW3GCjpUaA4ebLCZ9fBRblWp_BmOoN8vMrj3coWp1.n2Ew3bVzCJ xr2kvONjf0xc.tB.dwX1YJC12G_cLD4vKS.B1_.ZH_8C8UVuuWUKlY2Rold. IhL81QmncJ_d7j9ZCiLTRSdsuaMlRGli5wjwE9BJsY4fk5dTGQn6vCoLluhN aUvWX2AeqwjzeDUlGpIt1O10O1dQFcEO9Y6luwuOMV9l6pRyaTzOO2I0G5qW 2MgkOn6eItiCBp60lTvesA8.Zqf383smBbUTl25KAiQVL..pmBC8BlcGCiif UfD_5G9hxxDZdrD9yDPrPpiwbC3nQUdey_n_H99cbzxt.SOiIgF7M.zfAvzI JVECCQsVsqm5et5AKG4nINMw9WFeRcTUQe3U2VEEbiEUq2iC_CLt_XA-- Received: from [85.255.197.126] by web120601.mail.ne1.yahoo.com via HTTP; Wed, 14 Mar 2012 07:45:33 PDT X-Mailer: YahooMailWebService/0.8.117.340979 Message-ID: <1331736333.19163.YahooMailNeo@web120601.mail.ne1.yahoo.com> Date: Wed, 14 Mar 2012 07:45:33 -0700 (PDT) From: tools Reply-To: tools To: "caml-list@inria.fr" MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="-1504104896-1988903640-1331736333=:19163" Subject: Re: [Caml-list] Very slow compilation ---1504104896-1988903640-1331736333=:19163 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Yo, I don't know if this helps, but I can create arbitrary compilation times wi= th very small code samples: let sink (a,f) =3D f a let base =3D () let finish () =3D () let step () =3D () let fold (a,f) g =3D g (a,f) let step0 h (a,f) =3D fold (h a,f) let f z =3D fold (base, finish) z let a z =3D step0 step z let () =3D=20 =A0 let () =3D f=20 =A0=A0=A0 a a a a=20 =A0=A0=A0 a a a a=20 =A0=A0=A0 a a a a=20 =A0=A0=A0 a a a a=20 =A0=A0=A0 a a a a=20 =A0=A0=A0 a a a=20 =A0=A0=A0 sink=20 =A0 in =A0 ();; $> time ocamlc vararg.ml real=A0=A0=A0 1m9.372s user=A0=A0=A0 1m9.264s sys=A0=A0=A0 0m0.044s Try adding a few a's and see what that gives. have fun, Romain. PS I'm quite clueless about what's going on exactly. I just stumbled onto this= tinkering around with MLton's fold vararg solutions.= ---1504104896-1988903640-1331736333=:19163 Content-Type: text/html; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable
Yo,
I = don't know if this helps, but I can create arbitrary compilation times with= very small code samples:

let sink (a,f) =3D f a
let base =3D ()
let finish () =3D ()

let step () =3D ()
=
let fold (a,f) g =3D g (a,f)
let step0 h (a,f) =3D fold (h a,f)
<= br>let f z =3D fold (base, finish) z

let a z =3D step0 step z
let () =3D
  let () =3D f
    a a a a
&nbs= p;   a a a a
    a a a a
   = ; a a a a
    a a a a
    a a a
&= nbsp;   sink
  in
  ();;

$> time ocaml= c vararg.ml
real    1m9.372s
user  &n= bsp; 1m9.264s
sys    0m0.044s


Try adding a few a's and see what that gives.

have fu= n,
Romain.

PS

I= 'm quite clueless about what's going on exactly. I just stumbled onto this = tinkering around with MLton's fold vararg solutions.

= ---1504104896-1988903640-1331736333=:19163--