[r6rs-discuss] [OT] Should compilers preserve termination?

[Ludovic Courtès]

Hi,

Mikael Tillenius <mti at tillenius.com> writes:

> I think that a language that would allow optimizing away loops with
> side-effects would be plain stupid.

Agreed.

> Optimizing away infinite loops
> without side-effects would only be irritating and would violate the
> principle of least surprise.

How would you notice that a side-effect-free loop has been optimized
away?  I believe you can't.

Thanks,
Ludovic.