From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 50507800CE for ; Sat, 18 Feb 2017 12:17:10 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kakadu.hafanana@gmail.com; spf=Pass smtp.mailfrom=kakadu.hafanana@gmail.com; spf=None smtp.helo=postmaster@mail-wr0-f175.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kakadu.hafanana@gmail.com) identity=pra; client-ip=209.85.128.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kakadu.hafanana@gmail.com designates 209.85.128.175 as permitted sender) identity=mailfrom; client-ip=209.85.128.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wr0-f175.google.com) identity=helo; client-ip=209.85.128.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-wr0-f175.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ABRxSthYW/5wY7r2Q4zGQnmP/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrsiybnLW6fgltlLVR4KTs6sC0LuL9fiwEjZdqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLdyIRmssQnctcYajZViJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlT?= =?us-ascii?q?wKPCAl/m7JlsNwjbpboBO/qBx5347Ue5yeOP5ncq/AYd8WWW9NU8BWWCJcH4O8?= =?us-ascii?q?dJMPAPQdMuZEoYf9oF4OogG/BQmqGejjzjBFi3vz0aA8zu8vExzJ3BY4Et0Mvn?= =?us-ascii?q?TarNv7OqQPX+6r0KbF1i/MY+9M1Drn9ITEbhIsrPeRVrxwa8rRzkwvGhvAgFqK?= =?us-ascii?q?qozqJS6a1vkQuGWc7OpvT+GvhHQ6pAFsuDSvxt0jiofTiYIT0F/E8z92zZ06Jd?= =?us-ascii?q?29UkF7YNqkHIFMuCGdMot7W8UvSHxmtiY9z70Jo5+7fC4SxZQmwR7fcf2HfJKS?= =?us-ascii?q?7hLtTuadOTd5i2hleLK4gBa+61Svyur5VsSyzV1ErTJFn8HSunwR0xHf8MuKR/?= =?us-ascii?q?tn8ku8xzqC1Brf5vxGLE00k6fQNoQvzaQqlpUJtETOBi/2l1vyjK+Rbkgk//Kn?= =?us-ascii?q?6+XjYrn/qJ6cLZN4hhjwMqgzmMGyAf40MgcJX2ic9uS80KPs8VflT7VNi/06iq?= =?us-ascii?q?jZsJbEKsQHvqO1HRNZ34I55xu8DzqqyskUkWcEIV5fZR6KjYjkN0nLIP/iDPe/?= =?us-ascii?q?h1qskC1sx/DDJrDhAY/CLnvZn7j8YLZx8U5cxxA9zd9F4ZJbELcBL+joV0/+sd?= =?us-ascii?q?zXFB45Mwiuz+n7D9V905sSWXiTDa+BLKPSrViI6/oyLOaSfo8aoiv9K/ch5/H0?= =?us-ascii?q?lnI4mF4dfayy0psNcn+0BPVmI0ODYXrtmNgNC2kKvhAmRuzwlFKCSSJTZ2q1X6?= =?us-ascii?q?8k+j40EoemDYPaSoCpgbyBxzu7E4ZNZmFGD1CMCW3ne5+FW/cKciKSI9VuniYK?= =?us-ascii?q?Vbi7GMcd0kSCvQn7xr4vIuecwCQFupbqydRv6qWHmRg09DFwSciQ5HuEUm5wl3?= =?us-ascii?q?4EXTIe3aZloEU7xE3VgoZihPkNNtVQ7v9UGlM5PJ3Vw/E8C9n8UwTIeN6hR1Ov?= =?us-ascii?q?Q9HgCjY0GIFii+QSalpwTo3xxivI2DCnVvpIzrE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CNBACRLKhYhq+AVdFeFgUBAQEDAQEBC?= =?us-ascii?q?QEBARYBAQEDAQEBCQEBAYNIP4EJB4NUnB6COoVaZo5GKoV4AoIeB0QTAQEBAQE?= =?us-ascii?q?BAQEBAQESAQEBCAsLCh0vgjMighwBBAEjHQEbEgsBAwELBgUEBxodAgIiAREBB?= =?us-ascii?q?QEKEgYTEolEAQMNCA6jTj+MA4IEBQEcgwkFg1sKGScDClWDPgEBAQEBBQEBAQE?= =?us-ascii?q?BAQEZAgYSiymEMVCCWYJfBYc0DIkCi0KCW4QZiymCToECjTqKYoZ5FB6BFQ8og?= =?us-ascii?q?SA0H1MXg3oqDxEMgWQ9NQGIVII8AQEB?= X-IPAS-Result: =?us-ascii?q?A0CNBACRLKhYhq+AVdFeFgUBAQEDAQEBCQEBARYBAQEDAQE?= =?us-ascii?q?BCQEBAYNIP4EJB4NUnB6COoVaZo5GKoV4AoIeB0QTAQEBAQEBAQEBAQESAQEBC?= =?us-ascii?q?AsLCh0vgjMighwBBAEjHQEbEgsBAwELBgUEBxodAgIiAREBBQEKEgYTEolEAQM?= =?us-ascii?q?NCA6jTj+MA4IEBQEcgwkFg1sKGScDClWDPgEBAQEBBQEBAQEBAQEZAgYSiymEM?= =?us-ascii?q?VCCWYJfBYc0DIkCi0KCW4QZiymCToECjTqKYoZ5FB6BFQ8ogSA0H1MXg3oqDxE?= =?us-ascii?q?MgWQ9NQGIVII8AQEB?= X-IronPort-AV: E=Sophos;i="5.35,174,1484002800"; d="scan'208,217";a="213885755" Received: from mail-wr0-f175.google.com ([209.85.128.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Feb 2017 12:17:09 +0100 Received: by mail-wr0-f175.google.com with SMTP id 89so37472129wrr.3; Sat, 18 Feb 2017 03:17:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=STiEakocrNuFL/Uvv7/ySXjz2ME0zg/7NXa3PdHK1mg=; b=gTWjzrPIH7TjAIQpZn8pZa66I8Bk36kpeuFXFATkSqVwc35zffZyvmNVAzCiG78e4Y Nh3jfYuqITvZ3Xqmtb5P3EJQGs/LzZQJybqO4nU/kdHLUU7GefkRjbPo8GkOQxIEIPsS TyDK4MUZ1eiBEpgnZO49jTsXNX4Rm0VpHCF0LhsxO/j7VEorLwHnXret/j55HLZNKnL1 T562bcFIMafy3yqYy7AFdHt1K1TuA20/nLkiGkU2mWrjC3Hg0671SgmAu04Z8aXLXQuE qxgPUz+DSkRmbvASmx5NJEwEH4U3BnMVvpeFwbyTbv3525nTrGF7mEcztxZYqEB65IQB NgfA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=STiEakocrNuFL/Uvv7/ySXjz2ME0zg/7NXa3PdHK1mg=; b=U2zEYySeRwXYrL1Rimvlqcw7YEt1oYvpI3fjlXGfnki+dKi8QzAIzxr77C4PfeAQFg 4cnbq1Ojnrxzcb9jpo1eZnPa+R45mYiGgs22fxQ+rj7gL7kOm/66c5ZczKlvJdkCVpO0 nX6u7FFWbkqIKCpossLxrzShZclKGYiwsHxWBwpsLWn6FA2cY9s9OzkCLaJa95mSEl6I A6KrQU9hk62BcHszuD0sZMU5d4HoK7bz1TyZvxnGwhlro6dDFr7sAGFYEnXq/QekvKKm jomXML6pStvwCwpXB+14DUal1BqzzT5VRZb5a1wy40KYv9mSQXT6AFMsRgzX3/JJWJxj /DCw== X-Gm-Message-State: AMke39mzHVGbgV+ntce3ZtQj0CKRqDOes2Nm1XlZNi+mjH3kYMcnMOeZ6eOXgREUyGx0w6IijGblLLzCiYn2mA== X-Received: by 10.223.167.66 with SMTP id e2mr9327077wrd.48.1487416628558; Sat, 18 Feb 2017 03:17:08 -0800 (PST) MIME-Version: 1.0 Received: by 10.80.170.215 with HTTP; Sat, 18 Feb 2017 03:17:07 -0800 (PST) Received: by 10.80.170.215 with HTTP; Sat, 18 Feb 2017 03:17:07 -0800 (PST) In-Reply-To: <20170218103154.GA5070@yquem.inria.fr> References: <20170218015321.GA22237@yquem.inria.fr> <86d1efopdj.fsf@lpw25.net> <20170218103154.GA5070@yquem.inria.fr> From: Kakadu Date: Sat, 18 Feb 2017 14:17:07 +0300 Message-ID: To: Daniel de Rauglaudre Cc: Caml List Content-Type: multipart/alternative; boundary=94eb2c1cca62c7416b0548cc2ba9 Subject: Re: [Caml-list] OCaml+spacetime crashes during camlp5 compilation --94eb2c1cca62c7416b0548cc2ba9 Content-Type: text/plain; charset=UTF-8 I tried to hack stack size with setting OCAMLRUNPARAM (1). 250k was not enough but compiler worked a little bit longer, imho happy hacking, Kakadu (1) https://caml.inria.fr/pub/docs/manual-ocaml/runtime.html On Feb 18, 2017 1:32 PM, "Daniel de Rauglaudre" < daniel.de_rauglaudre@inria.fr> wrote: 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/ -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs --94eb2c1cca62c7416b0548cc2ba9 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I tried to hack stack size with setting OCAMLRUNPARA= M (1). 250k was not enough but compiler worked a little bit longer, imho

happy hacking,
Kakadu

(1) https://caml.inria.fr/pub/docs/manual-ocaml/runtime.html
=


On Feb 18, 2017 = 1:32 PM, "Daniel de Rauglaudre" <daniel.de_rauglaudre@inria.fr> wrote:
On Sat, F= eb 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<= br> > 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/

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--94eb2c1cca62c7416b0548cc2ba9--