From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 15D3BBC6B for ; Tue, 10 Jul 2007 15:27:22 +0200 (CEST) Received: from smtp.janestcapital.com (www.janestcapital.com [66.155.124.107]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6ADRK4r017503 for ; Tue, 10 Jul 2007 15:27:21 +0200 Received: from [172.25.131.105] [38.96.172.125] by janestcapital.com with ESMTP (SMTPD-9.10) id A94B039C; Tue, 10 Jul 2007 09:27:39 -0400 Message-ID: <46938937.6030800@podval.org> Date: Tue, 10 Jul 2007 09:27:19 -0400 From: Sam Steingold User-Agent: Thunderbird 2.0.0.0 (X11/20070326) MIME-Version: 1.0 To: skaller Cc: caml-list@inria.fr Subject: Re: [Caml-list] large parametrized polymorphic variant type combinations take forever to compile References: <4666E11F.6000308@podval.org> <4692991E.8040205@gnu.org> <1184038469.10248.70.camel@rosella.wigram> In-Reply-To: <1184038469.10248.70.camel@rosella.wigram> X-Enigmail-Version: 0.95.2 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 46938939.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; parametrized:01 hash:01 cmo:01 ocamlc:01 1.3:98 1.3:98 polymorphic:01 wrote:01 wrote:01 compile:01 caml-list:01 variant:02 compiling:02 gnu:03 opt:05 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 skaller wrote: > On Mon, 2007-07-09 at 16:22 -0400, Sam Steingold wrote: >> -----BEGIN PGP SIGNED MESSAGE----- > >> compiling f.ml takes forever. literally. it has been running for 5+ >> hours now and there is no sign of hope (all it has produces so far is an >> empty f.cmo): >> 27820 sds 25 0 1343m 1.3g 1576 R 98 37.2 306:01.80 ocamlc.opt > > > 1G ram used on 1G box? Is it thrashing the disk? 1.3G is 37.2% of 3.6G -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGk4k3Pp1Qsf2qnMcRAscJAJ9uE7b3PeU2E4q0+xCZbPq6y2okPQCghRyb mw0Jirxv+pBAjijoBCWyOCU= =S6mX -----END PGP SIGNATURE-----