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=1.2 required=5.0 tests=AWL,SPF_SOFTFAIL 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 79495BC6B for ; Wed, 11 Jul 2007 15:41:46 +0200 (CEST) Received: from smtp.janestcapital.com (janestcapital.com [66.155.124.107]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6BDfjPf023528 for ; Wed, 11 Jul 2007 15:41:46 +0200 Received: from [172.25.131.105] [38.96.172.125] by janestcapital.com with ESMTP (SMTPD-9.10) id A74603D4; Wed, 11 Jul 2007 09:12:38 -0400 Message-ID: <4694D732.8080102@gnu.org> Date: Wed, 11 Jul 2007 09:12:18 -0400 From: Sam Steingold User-Agent: Thunderbird 2.0.0.0 (X11/20070326) MIME-Version: 1.0 To: Jacques Garrigue Cc: caml-list@inria.fr Subject: Re: large parametrized polymorphic variant type combinations take forever to compile References: <4692991E.8040205@gnu.org> <20070710.083733.116353766.garrigue@math.nagoya-u.ac.jp> <46938BDA.1090605@podval.org> <20070711.091002.39162301.garrigue@math.nagoya-u.ac.jp> In-Reply-To: <20070711.091002.39162301.garrigue@math.nagoya-u.ac.jp> X-Enigmail-Version: 0.95.2 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 4694DE19.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; parametrized:01 hash:01 compilation:01 polymorphic:01 wrote:01 compile:01 variant:02 garrigue:03 unexpected:03 seems:03 jacques:03 gnu:03 gnu:03 solved:04 fix:04 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Jacques Garrigue wrote: >>> Could you send me your real code, so that I can see whether something >>> unexpected is happening? >> attached > > Seems you're lucky. The fix I did yesterday after reading your first > mail, combined with the fixes following the previous discussion, > solved the problem. thanks. does this also fix the "|#" compilation time? right now it takes 8+ hours and does NOT finish in that time. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGlNcyPp1Qsf2qnMcRAh9KAKCDedfrErrM6V4GHpi42KKQWaroNACffz2K g1esgfFg8vOmPh+NZ7C4fIA= =Y4ab -----END PGP SIGNATURE-----