Closed samoht closed 8 years ago
Thanks, we can't merge this yet as it will break compatibility with the current released compiler. At some point I'm planning to setup branches that follow trunk in all our packages with maybe a dedicated opam repository, but it's not ready yet on our side.
I've rebased my patch to current trunk.
The patch seems to be in, so closing :-)
This patch is needed to compile trunk, which is needed to test flambda+trunk