> WRONG!!!! What about overflow exceptions. I realize that they aren't > being done now, and perhaps that is why it does this, but in general you > really have to do the add to make sure that the exception happens at the > right time. But MLton doesn't do overflow exceptions for Int.+, Int.*, Int.-. Given this, isn't the optimization semantics preserving?