Re: [Caml-list] OCaml+spacetime crashes during camlp5 compilation

[Kakadu <kakadu.hafanana@gmail.com>]

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
<daniel.de_rauglaudre@inria.fr> 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