Robert Dewar <dewar@gnat.com> writes: | I dislike anything being called an optimization, unsafe or not, when it | is not an optimization but in fact a distortion of required language | semantics. In the past, I've argued along the same line and proposed we speak in terms of "transformations". -- Gaby