Re: more on Rules

[Bart Demoen]

I am for sure going to read the paper of Ariola & Arvind, but

> Without optimizations this program will produce _|_ but
> with optimizations it will produce 3.

wouldn't such an optimisation be called "a bug in the compiler" ?

Bart Demoen