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 03F2D800CE for ; Sat, 18 Feb 2017 02:59:00 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f182.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.216.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.216.182 as permitted sender) identity=mailfrom; client-ip=209.85.216.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-qt0-f182.google.com) identity=helo; client-ip=209.85.216.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-qt0-f182.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AKy6AahXnysVjv5HXxkENR5QIrQrV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbROAt8tkgFKBZ4jH8fUM07OQ6PG9HzRfqsrd+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe71/IRG2oAnLqsUbg4RuJ6k+xxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKiU0+3/LhMNukK1boQqhpx1hzI7SfIGVL+d1cqfEcd8HWWZNQsNdWipGDY2h?= =?us-ascii?q?cosPFPIBMvhEoInhqVUOqh6+ChOtBOPp1zREgnD70Kk/3+knDArI3hEvH8gWvX?= =?us-ascii?q?vWotX7NKkcX+OowqfW0TrNYOhb2Svk6IXSbhwtve2AULB2fMHMyUcvDQTFjlCI?= =?us-ascii?q?pILkJTyazf4Ns2mF4OpkSOmhlnIoqwFvrTi12MgskJTCi4Uayl/e7ip52oc1Ks?= =?us-ascii?q?O8SEJhet6rDJtQuD+AN4RoWMMvWG5ouCMgxb0HvZ63ZjQFyJMixxPGbfGMboaG?= =?us-ascii?q?4hXmVOmLIDd4gmpoeLO5hxao8Eiv0PfwVseu0FpSritKiNnMtncK1xDJ9seHTf?= =?us-ascii?q?5980G80jiMzwDe8v9ILVwwmKbBKJMswqQ8moQOvUnCBCP6hUb7gLGQe0454Oan?= =?us-ascii?q?8f7nba/jppKEN497lAX+MqM2l8y6G+s4MwwOU3GC+eSgyLHv5EP5TKhJg/EoiK?= =?us-ascii?q?XZv5faJcMUpq69HQBZyJos6xG6Dzu+0dQYm2cILE5ddR6Zk4TkP0vCLfP4APul?= =?us-ascii?q?nVigjTZmy+rbMrDiHJnBNn3Dn63gfbZ55U5c0g0zzdVH6pJbEL4OO+jzWk7vu9?= =?us-ascii?q?zcFBM5KBC7w+b5B9VnyIweQ3mCAqCcMKzIsF+I4vgjLPWLZI8QoDr9MeQq5+by?= =?us-ascii?q?jX8lnl8QZbSm0oUNaH+iA/RmLEGZbmD3j9YAEGcKuxExTPbwh1GYUD5TYWyyX6?= =?us-ascii?q?Mm6T0hBoKmF5/JRpqxj7yZwCe7AppWa3haBV+WFHfoc5yIW/MNaCKJPs9siScE?= =?us-ascii?q?VLikS485zx6irg76y7x9LurV4CIUr5zj1MImr9HUwD078z15C4yR3im3Rnx7mm?= =?us-ascii?q?oVSyU7lPRzqEp8x1PF3aVPmfVFGtha+v9TXy87M4Tdxqp0EYahdBjGe4KmQVy8?= =?us-ascii?q?Q9iiSQo6Tt8rzsVGN0l0Ec+jgxSFxCGqDqUYjZSEAZU19uTX2H2ndJU18GrPyK?= =?us-ascii?q?R01wpuecBIL2Dzw/Mm+g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C0AQAAqqdYhrbYVdFEGhYFAQEBAwEBA?= =?us-ascii?q?QkBAQEWAQEBAwEBAQkBAQGDSD+BCQeDU5wegjqGQI5GKoV4AoIeB0MUAQEBAQE?= =?us-ascii?q?BAQEBAQESAQEBCAsLCh0vgjMighwBBSMdARsSCwEDDAYFCw0CAgkdAgIiAREBB?= =?us-ascii?q?QEKEgYTEolBAQMVDi2jUT+MA4IDBQEcgwkFg2EKGScDClWDPgEBAQEBBQEBAQE?= =?us-ascii?q?BAQEZAgYSeYVBhG+DF4E9gwaCXwWHNAyJBYs8ggGEcIsogk6OOopfhngUHoEVN?= =?us-ascii?q?oEhIBQdUheEICCCCyI1AYsQAQEB?= X-IPAS-Result: =?us-ascii?q?A0C0AQAAqqdYhrbYVdFEGhYFAQEBAwEBAQkBAQEWAQEBAwE?= =?us-ascii?q?BAQkBAQGDSD+BCQeDU5wegjqGQI5GKoV4AoIeB0MUAQEBAQEBAQEBAQESAQEBC?= =?us-ascii?q?AsLCh0vgjMighwBBSMdARsSCwEDDAYFCw0CAgkdAgIiAREBBQEKEgYTEolBAQM?= =?us-ascii?q?VDi2jUT+MA4IDBQEcgwkFg2EKGScDClWDPgEBAQEBBQEBAQEBAQEZAgYSeYVBh?= =?us-ascii?q?G+DF4E9gwaCXwWHNAyJBYs8ggGEcIsogk6OOopfhngUHoEVNoEhIBQdUheEICC?= =?us-ascii?q?CCyI1AYsQAQEB?= X-IronPort-AV: E=Sophos;i="5.35,173,1484002800"; d="scan'208";a="213849975" Received: from mail-qt0-f182.google.com ([209.85.216.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Feb 2017 02:58:58 +0100 Received: by mail-qt0-f182.google.com with SMTP id b16so5014708qte.0; Fri, 17 Feb 2017 17:58:58 -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:content-transfer-encoding; bh=3rX1flCN3WgrfB/WKV/D6fJoSeLYPG9aV5Sbe61f6Cw=; b=kLp3JY5NmyN5f39EVMl7GURLUDeWIZ2bGpeZTCg8CEOjhPz8BEWL0/Rq5vXwmyffoY oNDgU00flgKcz/IcrPTpRpWv09fFLkYQi7i4OAsvO2qZFN06hppGXtE/tPsjP4EUDUXU xmdtCrUMPfqOoeCXYc83aNop0z8zO9GOwrx3YJpjmAFZS2Kqc1D1kxQuTgzWvTl/TyUB RqcP2+srI46SqMB1bo7yyC5Tu3EdzU9pALCaCPXRAjCl+0SmCoZWbpCrpsdjxN1GDGw5 Kf9mjoKVX/JSMn7JwJBdlojA7+RUiNym+ciiLMQ2c15Bf02tTl6kKvyay8zk6GUKLjFC PZ2Q== 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:content-transfer-encoding; bh=3rX1flCN3WgrfB/WKV/D6fJoSeLYPG9aV5Sbe61f6Cw=; b=F+fYmCu3R7SNToOba6LinOCUPkYxRCKk4bdxizcz3huaJh4mY5rRwkulIq7XDu6jOq DwMuy/lVafoC/ok+I/+AHRGaheiA7+34O5OSLK5n387WYWrM5yY0Xbc1PZgMkImQZAhV 0DBKKfEGGPOUMQcBl0dYFtSkl6V3/FnQJP4tjc2EaZMa4yhwbFiW47n4TtGF1bchaVzV 09PQxsnPR6maIuxu04RXzkUsT4ihS6c9USrfQyN1uIRNVvh/jCd82NSF03f4Sb/Z6SAT Yin/SZBeXumAPAV//hoPqd4vknLe7WUqJbkodCEmqehEzOwV+WQh63pxB6UZfBGqWa0F GhtQ== X-Gm-Message-State: AMke39nsNThEldl5t9jyujcOs70WSuVjj9oo/7a/mmXkv8hwt5RE+tQ+z4nAD29XfHN3zRySnamkgeuUbT9bAA== X-Received: by 10.200.48.110 with SMTP id g43mr10097606qte.277.1487383137167; Fri, 17 Feb 2017 17:58:57 -0800 (PST) MIME-Version: 1.0 Received: by 10.12.177.154 with HTTP; Fri, 17 Feb 2017 17:58:16 -0800 (PST) In-Reply-To: <20170218015321.GA22237@yquem.inria.fr> References: <20170218015321.GA22237@yquem.inria.fr> From: Gabriel Scherer Date: Fri, 17 Feb 2017 20:58:16 -0500 Message-ID: To: Daniel de Rauglaudre Cc: Kakadu , Caml List Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] OCaml+spacetime crashes during camlp5 compilation Note that a similar bug has already been reported for Camlp4: https://caml.inria.fr/mantis/view.php?id=3D7435 Camlp4/Camlp5 tend to be demanding in term of compilation (or rather, they hit code shapes that the compiler does not handle very well), so changes that make compilation more resource-intensive, such as Spacetime, can tip over the edge and provoke a failure -- this is not due to a hard bug on anyone's side. On Fri, Feb 17, 2017 at 8:53 PM, Daniel de Rauglaudre wrote: > Hi, > > Which version of OCaml and Camlp5? Taken from where? The github > sources? Or else which site? > > On Sat, Feb 18, 2017 at 01:00:31AM +0300, Kakadu wrote: >> Hey, folks >> >> I got a crash during compilation of camlp5. Is it expected to be easy >> fixable? Or something terrible? >> >> Happy hacking, >> Kakadu >> >> =E2=9E=9C meta git:(master) =E2=9C=97 OCAMLRUNPARAM=3D"b" ocamlopt.opt = -warn-error A -I >> ../main -I ../boot -I ../lib -I ../ocaml_stuff/4.04.0/utils -c -impl >> q_MLast.ppo >> Fatal error: exception Stack overflow >> >> .... >> Called from file "asmcomp/spill.ml", line 160, characters 32-51 >> Called from file "asmcomp/spill.ml", line 160, characters 32-51 >> Called from file "asmcomp/spill.ml", line 160, characters 32-51 >> Called from file "asmcomp/spill.ml", line 160, characters 32-51 >> Called from file "asmcomp/spill.ml", line 173, characters 8-60 >> Called from file "asmcomp/spill.ml", line 160, characters 32-51 >> Called from file "asmcomp/spill.ml", line 160, characters 32-51 >> Called from file "asmcomp/spill.ml", line 160, characters 32-51 >> Called from file "asmcomp/spill.ml", line 160, characters 32-51 >> .... >> >> -- >> 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 > > -- > 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