The -opaque flag

[ziman]

If I change the implementation of module X but not its interface, it would be nice to not have to recompile all modules (transitively) depending on X. With ocamlopt, this can be achieved using -opaque, which will disable cross-module optimisations (with the obvious tradeoffs). It would be nice to have that option for Malfunction, too.

This would make the compile-test loop faster and more convenient for large projects, where you're usually fiddling with only a small number of modules. It would avoid unnecessarily triggering full rebuilds if you are editing the implementation of a module at the top of the dependency hierarchy.