>From: Greg Jaxon <Greg.Jaxon@synopsys.com> >I just wanted to re-record my strong objection to saying >"a cast can be used by tools to perform stronger type checking". >The fact of the matter is that casts are used by code authors, >not by tools; what's more they have the effect of _suppressing_ type >checking, not enhancing it. I suspect that the intent was to say something more like "The existence of casts may enable tools to perform stronger type checking, by providing a mechanism for users to suppress that type checking when desired." Steven Sharp sharp@cadence.com -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Apr 3 12:57:55 2008
This archive was generated by hypermail 2.1.8 : Thu Apr 03 2008 - 12:58:13 PDT