This is a major difference when building with the ‘dev’ dune profile (the default) and the ‘release’ profile.
The ‘dev’ profile will perform separate compilation and will not do global deadcode elimination.
3 Likes