On Wed, Jul 31, 2013 at 12:49 PM, Jonathan S. Shapiro <[email protected]>wrote:
> It doesn't matter what kinds of code we are talking about. A correct > optimizer, whether it runs at static compile time or at run time, is > constrained by what *may* be done given the semantics of the runtime > system. It is not entitled to assume that the code is well behaved beyond > the guarantees that are enforced by the intermediate form. > I am thoroughly confused. Is this not why we have debug-vs-optimized compile modes?
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
