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

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

Daniel,

It seems that program doesn't happen with ocaml_src/meta/q_MLast.ml
because it is compiled with ocamlc.opt and another q_MLast with
ocamlopt.opt.

Happy hacking,
Kakadu

On Sun, Feb 19, 2017 at 12:02 AM, Kakadu <kakadu.hafanana@gmail.com> wrote:
> 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
>> ------------------------------------------------------------
>>
>>