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 830BF800BE for ; Sun, 19 Feb 2017 08:35:20 +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-wm0-f41.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=74.125.82.41; 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 74.125.82.41 as permitted sender) identity=mailfrom; client-ip=74.125.82.41; 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-wm0-f41.google.com) identity=helo; client-ip=74.125.82.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-wm0-f41.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AOW1lwh1u/XDLaYH6smDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMSK/ad9pjvdHbS+e9qxAeQG96KtrQc2qGP6vqocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDqwbaluIBiyogndq9QajZV/Iast1xXFpWdFdf?= =?us-ascii?q?5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALM?= =?us-ascii?q?TRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTlkz?= =?us-ascii?q?kMOSIn/27Li8xwlKNbrwynpxxj2I7ffYWZOONjcq/BYd8WQGxMUcFMWSxcGYO8?= =?us-ascii?q?d5UAAPYdPehWqIn9okEBrRq4BQKxAO/ixTtFinrw0KYn0eouDBvG0RQiENIAsH?= =?us-ascii?q?raotb7OroMX++p16TI0SnPYulK1Tvh9ITFcBYsquyMU7JqdsrRzFEiGQbfgVWT?= =?us-ascii?q?s4PqIi6V3fkKvmiY9eVgVvighHM6qw1rojig3MkshZPPho0PzFDL7z50wIkwJd?= =?us-ascii?q?KiSU57ZcSoH4dXtyGfLoZ7RN4pTW9vuCY/0LIGuJi7cTALyJQh3R7fauaIf5KG?= =?us-ascii?q?4hL5TOqQIS13hHJieLK4nRq97U+gyuj6W8Kp01hKtjJIn9vDu3wXyhDf9MiKRu?= =?us-ascii?q?F+80u/wzqC2B3f5+dZKk4uj6XbMYQuwrsom5oTr0vDGij2lV3zjKCMd0Uk/vGk?= =?us-ascii?q?6uriYrn6v5OcOYB5hhzkPqQhncy/Bus4MgwQUGSB5eu807jj8VX4QLVMkPI2jr?= =?us-ascii?q?HUvZLVKMgBu6K1HQ9Y3pwg5hqhFTur38kUkWECLF1feRKHi4bpO0vJIPD9Ffq/?= =?us-ascii?q?gE6jkDRxyP/bI73tGJXNIWLNkLj7e7Zy8UhcxxAowNBQ4pJbELABIPbpVkDts9?= =?us-ascii?q?zYCwc1MxaozOb/FNV9yoQeVHqSDaCHKqPdq0KI5u0rI+aWf4IUuTf9K/0+6P70?= =?us-ascii?q?l3A1g14dfa+z3ZsWcn+0BPpmI1+Ba3r2ntgBCXsKvhY5TOHylFKNSztTZ3KrU6?= =?us-ascii?q?I45zE7E56mAJzYRoGthbyBxD20EodXZmBAEFCMEG3ne5+KW/cWO2quJZpNmzoF?= =?us-ascii?q?WLzpR4Jp7xizuwvz1rZ9I6KA9iQetJ/nktR40PfaiB42/CF4Fcm10meXTmgykH?= =?us-ascii?q?leFBEs26UqgkV+w1uemfx7iv9RGcEV5/pHWwEzM5f0wOlzCtS0UQXEKITaAG26?= =?us-ascii?q?S8mrVGliBuk6xMUDNgMgQtg=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BLAgB7SqlYhilSfUpeFgUBAQEDAQEBC?= =?us-ascii?q?QEBARcBAQQBAQoBAYNIAT6BCQeDVJwcgjqGQI5GKoV4AoIeB0MUAQEBAQEBAQE?= =?us-ascii?q?BAQESAQEBCAsLCh0vgjMighwBBSMdARsSCwEDDAYFCw0CAgkdAgIiAREBBQEKE?= =?us-ascii?q?gYTEolEAQMVDqI0P4wDggQFARyDCQWDTAoZJwMKVYM+AQEBAQEFAQEBARwCBhJ?= =?us-ascii?q?5ijCHWoJfAQSHNAyJAotCgluEGYspgXtTgQKHEoYoimKGeRQegRU2gSE0H1MXh?= =?us-ascii?q?CQggXA9NYpvAQEB?= X-IPAS-Result: =?us-ascii?q?A0BLAgB7SqlYhilSfUpeFgUBAQEDAQEBCQEBARcBAQQBAQo?= =?us-ascii?q?BAYNIAT6BCQeDVJwcgjqGQI5GKoV4AoIeB0MUAQEBAQEBAQEBAQESAQEBCAsLC?= =?us-ascii?q?h0vgjMighwBBSMdARsSCwEDDAYFCw0CAgkdAgIiAREBBQEKEgYTEolEAQMVDqI?= =?us-ascii?q?0P4wDggQFARyDCQWDTAoZJwMKVYM+AQEBAQEFAQEBARwCBhJ5ijCHWoJfAQSHN?= =?us-ascii?q?AyJAotCgluEGYspgXtTgQKHEoYoimKGeRQegRU2gSE0H1MXhCQggXA9NYpvAQE?= =?us-ascii?q?B?= X-IronPort-AV: E=Sophos;i="5.35,178,1484002800"; d="scan'208";a="213948034" Received: from mail-wm0-f41.google.com ([74.125.82.41]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Feb 2017 08:34:45 +0100 Received: by mail-wm0-f41.google.com with SMTP id v186so51115552wmd.0; Sat, 18 Feb 2017 23:34:45 -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=Fi+kI7s+YyWGJ/8j4gIBnB16fmhUowuw5RVSyWfcYMA=; b=QhsDMcykbAt75PwRRlRHA8ipJ6iAH3HtOsIg371g0hpptOv9AEAfWDxWDrVWzMqIRp DYHp0+9ZeetFwGtbqYDz8xdPFBH5zfqrK2WKkfgxMEU/jDbkm7SJjz6M/PO9lCaO9Vpx J6SszMH4FbmUbdcvd50gfU6P9DCUAHSe266x2sSZ/I+DSGOHPxKLiih5hiu0FQGPGW5e o2RftYrGHG0T0qRtByQV/Nq2aUXJ4fSppdJeIAMhNojVx2dRhzA8kikn47aTMFIKqDC+ z+rxwzBnqzEv/s6nrnTgmA1WiR4YdfdySEWr/P1IWPRNBIHuIi9BF1FUPSJjZ6865Z7T QI0A== 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=Fi+kI7s+YyWGJ/8j4gIBnB16fmhUowuw5RVSyWfcYMA=; b=tmN5eyWFQGHfYejtBhqRuo0R4qoOOgFnmbfwhNei53P0AcR3+5r0tHVfKwA7F2Ek/h ptY4+VLQI9Xm+1VS8HKpdC3rAtSduzXd6FQ8dU0CPons9ypQPhUaUvxtc0hKsYv5QjSl Zt/SCLVWrNYcEOH6lwyJXIDi7xewyN7Wpzu2FO6hrOB9HFJQjUAz1HdAijB/j4UkiLpz W2zr90vr/2d/+qK1bK3dcjVjr8hOmnc5FuV3ani7xUC/LJo1q02CZAHR/UWQRyWLr26g WxkOHx6xvUBnlNWtBsccucionWEquoMjWHwN0f98sNjI52D5uGuEdjQ4iNW4hc23nrmx 8V8w== X-Gm-Message-State: AMke39mYcOrdP/Q1ETsoNvNq7Egt49yJL1UEBvwb9drFwpOxgBGEWvOqSEvgM3d3ssiz+VuYhERWqoKEnILs0g== X-Received: by 10.28.216.14 with SMTP id p14mr11820695wmg.56.1487489684258; Sat, 18 Feb 2017 23:34:44 -0800 (PST) MIME-Version: 1.0 Received: by 10.80.170.215 with HTTP; Sat, 18 Feb 2017 23:34:23 -0800 (PST) In-Reply-To: <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> <20170219030010.GA1754@yquem.inria.fr> From: Kakadu Date: Sun, 19 Feb 2017 10:34:23 +0300 Message-ID: To: Daniel de Rauglaudre Cc: Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] OCaml+spacetime crashes during camlp5 compilation Daniel, Can you send me a diff of your splitting? I tried to do this but is seems that I only introduced some bugs.... Kakadu On Sun, Feb 19, 2017 at 6:00 AM, Daniel de Rauglaudre wrote: > 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/ > > -- > 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