This is relatively trivial, but only for whole-program compilation. The good thing about declaring exceptions on functions is that you can partially compile programs without a module system - otherwise, at a minimum you have to declare them at module boundaries.