Aliasing fun

Daniel Berlin dan@dberlin.org
Fri Jan 25 09:36:00 GMT 2002


On Fri, 25 Jan 2002, Robert Dewar wrote:

> <<But we are of course, not talking in a formal setting here, nor have i
> applied a formal meaning of undecidability (except in a few cases when
> referring to papers), though i am quite aware of
> what it is.
> >>
> 
> Undecidability IS a formal term, with a formal meaning, if you have been
> using the term in any other sense, then no wonder no one has been able
> to understand what you were saying. 
It's not so much they don't understand, as they keep ignoring the 
substantive issue in favor of arguing about undecidability.
Guess it's just more fun.;

--Dan



More information about the Gcc mailing list