I must correct myself. Version 4.04.0 does not fix the issue, just move it slightly. It seems 4.04.0 is faster by at least a constant factor, but asymptotically still problematic (see attachment). The file compiles just fine to bytecode, but takes 20s to compile to machine code. Does anyone have a clue whether I run into a bug or if there is a compiler pass that is non-linear in some metric of the code-size? Am 07.11.2016 um 18:32 schrieb Christoph Höger: > Hi Nicolas, > > no, AFAIK 4.03.0 does not enable flambda by default. The 4.04beta2 I > tried had a 4.04beta2+flambda right next to it, so I assume it also does > not have flambda enabled. > > regards, > > Christoph > > Am 07.11.2016 um 18:18 schrieb Nicolas Ojeda Bar: >> Hi Christoph, >> >> Are you using flambda ? >> >> - Nicolas >> >> 2016-11-07 18:07 GMT+01:00 Christoph Höger >> >: >> >> I just checked with 4.04beta2 and could not reproduce the problem. So it >> seems to be a 4.03.0 bug, but I could not find anything obviously >> related in the 4.04 changelog. >> >> -- >> Christoph Höger >> >> Technische Universität Berlin >> Fakultät IV - Elektrotechnik und Informatik >> Übersetzerbau und Programmiersprachen >> >> Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin >> >> Tel.: +49 (30) 314-24890 >> E-Mail: christoph.hoeger@tu-berlin.de >> >> >> > > -- Christoph Höger Technische Universität Berlin Fakultät IV - Elektrotechnik und Informatik Übersetzerbau und Programmiersprachen Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin Tel.: +49 (30) 314-24890 E-Mail: christoph.hoeger@tu-berlin.de