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 F00A3800CE for ; Sat, 18 Feb 2017 08:39:55 +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-f49.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.49; 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.49 as permitted sender) identity=mailfrom; client-ip=74.125.82.49; 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-f49.google.com) identity=helo; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-wm0-f49.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A3sUqSxyoO8u/RrbXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2u8WIJqq85mqBkHD//Il1AaPBtSGraobwLOP7+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMhDexe69+IRe5oQnMq8UbjpZpJ7osxBfOvnZGYf?= =?us-ascii?q?ldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbD?= =?us-ascii?q?VheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLzli?= =?us-ascii?q?wJKyA2/33WisxojaJUvhShpwBkw4XJZI2ZLedycr/Bcd8fQ2dOWdtfVzFaAoOk?= =?us-ascii?q?cYQAE/YBM+hfr4n4vVQOrB2+DhSoCO7gzjJEg3n71rA43es8CwHLxA4vH9wOvn?= =?us-ascii?q?rar9v7KbkcXvyuwabS0TnOdelb1Svh5IXKdB0qvPGCXah3ccrU0UQhEhnKjlaK?= =?us-ascii?q?poP4IjOey+MAs2uB4OpjT+2glnMnpxtxoje1yMcjkI/JiZgTyl/e7ih5z4M1Ks?= =?us-ascii?q?e5SE5/e9KrDJxQtySDOoZwX8gsTWZouCMgxb0Hv562ZDMKyIwmxx7bb/yLaY2I?= =?us-ascii?q?4hb7WOaQJzd4nnNld6ilixa860is0u39WdO00FZNqSpJiMXDtncI1xHV98OJSe?= =?us-ascii?q?N981+j1DuAzQzf9/9ILEAumafYNZIt2LE9m54VvE/eBCH5gl/2g7WTdkg8+uin?= =?us-ascii?q?9eDnYrL+q5+ZLYB0iwX+Pr0gm8y6Heg0KwYOUmef9Oim273j+kr5QLpOjvIoiK?= =?us-ascii?q?XWrJfaJcEDqq64BQ9azJoj5g69AjqpytgUgGcLIVJfdB+EkYTlIV7DLfTgAfe6?= =?us-ascii?q?mVuskTNrx/7cPr3mB5XANnvDn63ifbln9kFc1RA/zdBF6JJaEL4BJuj8Wknru9?= =?us-ascii?q?HDAR85Nha7w+fjCNlnyoweXmePDreDMKzOqV+I+v4vI+6UaYAJojn9Lvwl6+fq?= =?us-ascii?q?jX84gl8dYbKk3YAXaXC9BvRpOV+VYXvqgtcbEGcFpBAyTOLwiFeaSz5ce26yX7?= =?us-ascii?q?4g5jE8EI+pEJnMRpq3j7yc0ye7GodZa3tHC1CNFHfnbJ+EVO0WZCKTJM9hiD0E?= =?us-ascii?q?WqK7R48vzxH9/DP9npVuJPDV9ylQjpnj2cJ4/aWHmhg47z15C4KG2GGAVWxutm?= =?us-ascii?q?wNTj4ymqt4pBou5E2E1P1biv9RGcEbs/BAUQ42KNjcxuJzDdn0UyrOe96ITBCt?= =?us-ascii?q?RdDwUmJ5dc4439JbOxU1IN6llB2WmnfzDg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DXAADr+adYhjFSfUpDGhYEAQEBAQIBA?= =?us-ascii?q?QEBCAEBAQEVAQEBAQIBAQEBCAEBAQGEB3gRB4NUnB6COo1OhzgqhXgCgh4HQxQ?= =?us-ascii?q?BAQEBAQEBAQEBARIBAQEICwsKHS+CMyKCGwEBAQMBIx0BGxILAQMBCwYDAgsND?= =?us-ascii?q?R0CAiEBAREBBQEKEgYTEolEAQMNCA4tkXiRFj+MA4IEBQEcgwkFg14KGScDClW?= =?us-ascii?q?DPgEBAQEBAQQBAQEBAQEBGQIGEospglFGgWqCWYJfBYc0DIkBiwY6glqEGYcOh?= =?us-ascii?q?BuCToECjTiKPiOGeBQegRUPJ4EhNB1SF4N2KiCBcD01AYsQAQEB?= X-IPAS-Result: =?us-ascii?q?A0DXAADr+adYhjFSfUpDGhYEAQEBAQIBAQEBCAEBAQEVAQE?= =?us-ascii?q?BAQIBAQEBCAEBAQGEB3gRB4NUnB6COo1OhzgqhXgCgh4HQxQBAQEBAQEBAQEBA?= =?us-ascii?q?RIBAQEICwsKHS+CMyKCGwEBAQMBIx0BGxILAQMBCwYDAgsNDR0CAiEBAREBBQE?= =?us-ascii?q?KEgYTEolEAQMNCA4tkXiRFj+MA4IEBQEcgwkFg14KGScDClWDPgEBAQEBAQQBA?= =?us-ascii?q?QEBAQEBGQIGEospglFGgWqCWYJfBYc0DIkBiwY6glqEGYcOhBuCToECjTiKPiO?= =?us-ascii?q?GeBQegRUPJ4EhNB1SF4N2KiCBcD01AYsQAQEB?= X-IronPort-AV: E=Sophos;i="5.35,174,1484002800"; d="scan'208,217";a="213869585" Received: from mail-wm0-f49.google.com ([74.125.82.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Feb 2017 08:39:44 +0100 Received: by mail-wm0-f49.google.com with SMTP id v186so34258268wmd.0; Fri, 17 Feb 2017 23:39:44 -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=7rWsBvKVR0JHvlucs5MGyIgbapQxr5SJNLl6idpcLic=; b=WlyGC4W8WBal10KFFxqEhgKOPf9iqMjAFYHBNsIIo4HZqV3+msg+nSTSwLhTo0QkeI R8qnpR2BBjFM8jNM8+cQhWjXG22KmFjpANb+QLXQ1qS8JFf8sXtZnpeGneqUOJJbu9TZ F8tn55XQ0G0liJjSObbRGxdkYGihyqN1/iwsuIeIH2yZ4ZeKAcG+XCFlxAG5fu/eyW8W 6kVtJiTAtszZkDPjJoqz07OEe5cvw9vc2lfY7VmJwwC9I8sUhMcwbzxJFsuTa9UkcLs9 Q1Jyz99rxEX2BrDhdDr2o9UNECl/oKTRkO0MBmSCQNdIre5KZxkjc/Da0K8aA3YBfaG6 ZZFQ== 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=7rWsBvKVR0JHvlucs5MGyIgbapQxr5SJNLl6idpcLic=; b=Xh0ITtBgAC/zXAI+gb/5XT8rZszDDrYdtMfAxKHIobLswNboEG+nI+0KDeMkR/g0vt oIVdTfxhhyFwaIBlTytV4oYnB5xpmC4tSJflWWn5fhcgyxtUqSowijNeRhMPrIz/DSRb 1oiTQx1nV6NDF9jjA7AIp3hxHtirvFBfnXzv+jSLhO0l2S62aBPbqkoHGu+4rcYGa1HY p2X39WrxLCs9bMXarA3m5Olp0PmqTjQJmCpiIdtYSjp6jPNf1ZfN3mpt36lQE5/yxkpP 7196V0n8gwNcamVJt2W6a3avmzWsTuGgYk/9Xw4jF0LrOp8UVWEdkpworp94sKOCN+X3 sUIg== X-Gm-Message-State: AMke39lDvi6aFVYsapmuCubNMSocJne+v678fyY3Zm41UtKe/2FBn1l3/Rv7RQ943mzGHrJjW74WhmH1mKyExw== X-Received: by 10.28.216.14 with SMTP id p14mr7357942wmg.56.1487403583899; Fri, 17 Feb 2017 23:39:43 -0800 (PST) MIME-Version: 1.0 Received: by 10.80.170.215 with HTTP; Fri, 17 Feb 2017 23:39:43 -0800 (PST) Received: by 10.80.170.215 with HTTP; Fri, 17 Feb 2017 23:39:43 -0800 (PST) In-Reply-To: References: <20170218015321.GA22237@yquem.inria.fr> From: Kakadu Date: Sat, 18 Feb 2017 10:39:43 +0300 Message-ID: To: Gabriel Scherer Cc: Caml List , Daniel de Rauglaudre Content-Type: multipart/alternative; boundary=001a11469ee6418f280548c92214 Subject: Re: [Caml-list] OCaml+spacetime crashes during camlp5 compilation --001a11469ee6418f280548c92214 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable afair Ocaml 4.04.0+spacetime Camlp5 from git On Feb 18, 2017 4:58 AM, "Gabriel Scherer" wrote: > 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.op= t -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 > --001a11469ee6418f280548c92214 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
afair
Ocaml 4.04.0+spacetime
Camlp5 from git

On Feb 18, 2017 4:58 AM, "Gabriel Scherer" = <gabriel.scherer@gmail.com<= /a>> wrote:
Note = that a similar bug has already been reported for Camlp4:
=C2=A0 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
<daniel.de_rauglaudre@i= nria.fr> 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 e= asy
>> fixable? Or something terrible?
>>
>> Happy hacking,
>> Kakadu
>>
>> =E2=9E=9C=C2=A0 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 -im= pl
>> q_MLast.ppo
>> Fatal error: exception Stack overflow
>>
>> ....
>> Called from file "asmcomp/spill.ml", line 160, characters 32-5= 1
>> Called from file "asmcomp/spill.ml", line 160, characters 32-5= 1
>> Called from file "asmcomp/spill.ml", line 160, characters 32-5= 1
>> Called from file "asmcomp/spill.ml", line 160, characters 32-5= 1
>> Called from file "asmcomp/spill.ml", line 173, characters 8-60=
>> Called from file "asmcomp/spill.ml", line 160, characters 32-5= 1
>> Called from file "asmcomp/spill.ml", line 160, characters 32-5= 1
>> Called from file "asmcomp/spill.ml", line 160, characters 32-5= 1
>> Called from file "asmcomp/spill.ml", line 160, characters 32-5= 1
>> ....
>>
>> --
>> 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/g= roup/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs<= br> >
> --
> 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
--001a11469ee6418f280548c92214--