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
4 posts - 2 participants