Another thing to try is to compile -type-check true, since that will run MLton's type checker on its ILs after each optimization pass. If there is a bug in our exception stuff, that is likely to catch it.