From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA00070 for caml-red; Mon, 26 Jun 2000 12:21:41 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA14364 for ; Fri, 23 Jun 2000 16:44:11 +0200 (MET DST) Received: from mailserver.cli.di.unipi.it (crudelia.cli.di.unipi.it [131.114.11.37]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e5NEiAr00592 for ; Fri, 23 Jun 2000 16:44:10 +0200 (MET DST) Organization: Centro di Calcolo - Dipartimento di Informatica di Pisa - Italy Received: from fire.cli.di.unipi.it (fire-ext.cli.di.unipi.it [131.114.11.52]) by mailserver.cli.di.unipi.it (8.9.3/8.9.3) with SMTP id QAA14957 for ; Fri, 23 Jun 2000 16:41:26 +0200 Received: (qmail 3709 invoked by uid 7794); 23 Jun 2000 14:44:02 -0000 Received: from carlotta.cli.di.unipi.it(131.114.11.15) via SMTP by crudelia.cli.di.unipi.it, id smtpda03697; Fri Jun 23 16:43:27 2000 Received: from localhost (bernardp@localhost) by carlotta.cli.di.unipi.it (8.8.5/8.6.12) with SMTP id QAA03065; Fri, 23 Jun 2000 16:42:51 +0200 (MET DST) X-Authentication-Warning: carlotta.cli.di.unipi.it: bernardp owned process doing -bs Date: Fri, 23 Jun 2000 16:42:51 +0200 (MET DST) From: Pierpaolo Bernardi To: Michael Wall cc: caml-list@inria.fr Subject: Re: memory problems In-Reply-To: <395274C1.B37DCF95@liquidmarket.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis@pauillac.inria.fr On Thu, 22 Jun 2000, Michael Wall wrote: > let rec relax_neat (p, v, h, t, s, n, maxI) = Are you by chance using an Intel x86 processor? If so, this is a known problem. It depends from relax_neat having more parameters than the x86 registers available. If this is the problem, it is easily solvable in your case, because it is not necessary to pass down the parameters t, s, n and maxI (you may make them global wrt the recursive function). Hope this helps. Pierpaolo