fib, new primitives, and useless analysis

Stephen Weeks MLton@research.nj.nec.com
Wed, 21 Jun 2000 14:28:10 -0700 (PDT)


> 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?