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
> <christoph.hoeger@tu-berlin.de <mailto:christoph.hoeger@tu-berlin.de>>:
> 
>     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 <tel:%2B49%20%2830%29%20314-24890>
>     E-Mail: christoph.hoeger@tu-berlin.de
>     <mailto: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