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 2F27C800CE for ; Sat, 18 Feb 2017 11:31:55 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.35,174,1484002800"; d="scan'208";a="213882854" Received: from yquem.paris.inria.fr (HELO yquem.inria.fr) ([128.93.101.33]) by mail3-relais-sop.national.inria.fr with ESMTP; 18 Feb 2017 11:31:54 +0100 Received: by yquem.inria.fr (Postfix, from userid 25991) id C7CCDE19D8; Sat, 18 Feb 2017 11:31:54 +0100 (CET) Date: Sat, 18 Feb 2017 11:31:54 +0100 From: Daniel de Rauglaudre To: caml-list@inria.fr Message-ID: <20170218103154.GA5070@yquem.inria.fr> References: <20170218015321.GA22237@yquem.inria.fr> <86d1efopdj.fsf@lpw25.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <86d1efopdj.fsf@lpw25.net> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] OCaml+spacetime crashes during camlp5 compilation On Sat, Feb 18, 2017 at 08:49:12AM +0000, Leo White wrote: > As Gabriel said, it is probably just camlp5 being expensive to compile > and spacetime tipping it over the edge. Have you tried increasing the > stack size limit? Hmmm... perhaps I could test this bug by decreasing my stack size limit on my computer? The example given seems to show a problem with the file meta/q_MLast.ml which indeed contains a statement EXTEND which generates a rather long OCaml expression. Strange that this problem does not occur with ocaml_src/meta/q_MLast.ml which is a pretty printed version of the same file (for Camlp5 cold stard). I could try to split this EXTEND into several parts to make OCaml not having to use so much memory? BTW, how to show one's stack size limit (Linux) and change it? -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/