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.3 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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 8BAA4BC0A for ; Fri, 15 Jun 2007 22:15:45 +0200 (CEST) Received: from smtp.janestcapital.com (janestcapital.com [66.155.124.107]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5FKFiuB002233 for ; Fri, 15 Jun 2007 22:15:44 +0200 Received: from [172.25.131.105] [38.96.172.125] by janestcapital.com with ESMTP (SMTPD-9.10) id A15002E8; Fri, 15 Jun 2007 16:06:40 -0400 Message-ID: <4672F141.7080807@gnu.org> Date: Fri, 15 Jun 2007 16:06:25 -0400 From: Sam Steingold User-Agent: Thunderbird 2.0.0.0 (X11/20070326) MIME-Version: 1.0 To: Jon Harrop Cc: caml-list@yquem.inria.fr Subject: Re: compiling large file hogs RAM and takes a long time. References: <4666E11F.6000308@podval.org> <20070608.213010.99453104.garrigue@math.nagoya-u.ac.jp> <4672B328.4030504@gnu.org> <200706151956.29453.jon@ffconsultancy.com> In-Reply-To: <200706151956.29453.jon@ffconsultancy.com> X-Enigmail-Version: 0.95.1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 4672F370.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; hash:01 recursion:01 ocamlopt:01 stack:01 recursion:01 foo:01 constants:01 wrote:01 wrote:01 functions:01 tail:01 tail:01 pair:01 compiling:02 gnu:03 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Jon Harrop wrote: > On Friday 15 June 2007 16:41:28 Sam Steingold wrote: >> Indeed, but it appears that in this case improving constants does not >> solve the problem completely. > > I had a problem with a non tail recursion between a pair of functions in > ocamlopt that made it stack overflow on some of my autogenerated code. I'll > try to track it down again if anyone is interested in fixing it. I am not sure how this is relevant to the thread. there is no recursion (tail or otherwise) in my file. all it has is type foo = [`A | `B ... ] let bar = function | "A" -> `A | "B" -> `B ... -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGcvFBPp1Qsf2qnMcRAiqLAJ40x2ItY4N9kjOI9fXsKNqrxwpa/ACcCJoC AxGJRTfe7b89b1+l3vL5k9A= =PaNJ -----END PGP SIGNATURE-----