From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7D468800CE for ; Sun, 19 Feb 2017 04:00:10 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.35,177,1484002800"; d="scan'208";a="213935982" Received: from yquem.paris.inria.fr (HELO yquem.inria.fr) ([128.93.101.33]) by mail3-relais-sop.national.inria.fr with ESMTP; 19 Feb 2017 04:00:10 +0100 Received: by yquem.inria.fr (Postfix, from userid 25991) id 0B1CBE19D8; Sun, 19 Feb 2017 04:00:10 +0100 (CET) Date: Sun, 19 Feb 2017 04:00:10 +0100 From: Daniel de Rauglaudre To: caml-list@inria.fr Message-ID: <20170219030010.GA1754@yquem.inria.fr> References: <20170218015321.GA22237@yquem.inria.fr> <86d1efopdj.fsf@lpw25.net> <20170218103154.GA5070@yquem.inria.fr> <1487451144.4182.85.camel@gerd-stolpmann.de> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <1487451144.4182.85.camel@gerd-stolpmann.de> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] OCaml+spacetime crashes during camlp5 compilation Hi, On Sat, Feb 18, 2017 at 09:52:24PM +0100, Gerd Stolpmann wrote: > print: ulimit -s (or just ulimit -a). This is in kilobytes. > Change: e.g. ulimit -s 16384 to set it to 16MB. By setting my ulimit to 1024 (ulimit -s 1024, the default being 8192 in my computer), I managed to indeed repeat the error: I get a Stack Overflow error while compiling q_MLast.ml. But trying to split the big EXTEND statement into three parts, the bug remains. Perhaps it is due to the global size of the file? I don't know. It would be interesting if the OCaml team (if you read this message) could tell us the reason of this Stack Overflow inside OCaml and what to change in my file to prevent it. -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/