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

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

I also tried to comment some code in the file. OCamlopt tries to build
it and fails after eating all free RAM (5Gb).

On Sat, Feb 18, 2017 at 11:52 PM, Gerd Stolpmann <info@gerd-stolpmann.de> wrote:
> Am Samstag, den 18.02.2017, 11:31 +0100 schrieb Daniel de Rauglaudre:
>> 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?
>
> print: ulimit -s (or just ulimit -a). This is in kilobytes.
>
> Change: e.g. ulimit -s 16384 to set it to 16MB.
>
> Note that there is a soft and a hard limit, and you cannot increase the
> soft limit (which is the effective one) beyond the hard limit. Print
> the hard limit with "ulimit -H -s". Root can also increase the hard
> limit, however there's sometimes a per-architecture kernel limit.
>
> Gerd
> --
> ------------------------------------------------------------
> Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
> My OCaml site:          http://www.camlcity.org
> Contact details:        http://www.camlcity.org/contact.html
> Company homepage:       http://www.gerd-stolpmann.de
> ------------------------------------------------------------
>
>