Re: [cocci] Influence of build configuration parameter “--enable-flambda” on compilation of OCaml source files

[Markus Elfring <Markus.Elfring@web.de>]

> It turns out this happens because Fedora enables "flambda" in the
> OCaml compiler (ie. ./configure --enable-flambda).

How will the influence of such a build configuration parameter evolve further
for the compilation of OCaml source files?

Can it trigger adjustments for OCaml software packages?


> flambda is "a series of optimisation passes provided by the native
> code compilers as of OCaml 4.03" which "make it easier to write
> idiomatic OCaml code without incurring performance penalties".

Thanks for such background information.


> It's not enabled by default, which probably explains why this problem is
> not seen on Debian.

Will any corresponding program variations become more interesting?


> I will discuss with Fedora if we want to keep this option enabled or
> drop it.  It's not a show-stopper that Coccinelle takes a long time
> to compile, just a bit annoying.

Will corresponding software run time characteristics be checked and improved
any more?


> It doesn't seem to affect Coccinelle in any other way
> (eg. making it faster/slower at runtime) as far as I can tell.

Would anybody like to improve such comparisons in more detail?

Regards,
Markus