> An infinite loop should compile to an infinite loop.
I think that a compiler option should control this. It can be a nice optimization, but the programmer should be able to opt out.
Every flag that changes the semantics of the code bifurcates the language into two languages.
The programmer can opt out by terminating the loop.
Every flag that changes the semantics of the code bifurcates the language into two languages.