Dune and -opaque


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.


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.

done: #4986

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

Yes, that’s right.