Dune and -opaque

Ecosystem
1

Hello,

It seems that dune always add -opaque in development mode. I really do not see why I can not customize this behavior from the (env ...) while -opaque could be within :standard. I have a piece of code that relies a lot on inlining across modules (more than twice faster) and still I would like -g and other differences between dev and release.

Cheers,
Christophe

1 Like
2

That’s a valid concern. We did eventually meant to allow users to disable -opaque in some places. I suggest you create a ticket and we can track it there.

By the way, -g is set in both and dev release.

3

done: #4986

But -g is in :standard and I can remove it ?

4

Yes, that’s right.

…