I think we should add a flag --omit-unreachable-code, which makes the backends omit code that cannot be reached from main. This is incompatible with separate compilation, but I imagine that it can sometimes speed up compilation drastically, and one could imagine restricting the effect of the flag to the current package.

Note that when this flag is used a module might have to be recompiled even if it and its dependencies have not changed.