>From: "Bresticker, Shalom" <shalom.bresticker@intel.com> >I would maintain that since $signed() was not defined in 1364 for >2-state types (since there were not any), that 1800 is free to define >its result for 2-state types in any logical back-compatible way, just as >1800 has done for other operations from 1364. I agree that this is true. However, since having properties of the function return type depend on properties of the argument type is extremely unusual, I would prefer to minimize it. Therefore I will continue to maintain that it applies only to the width, and that the return type is still a generic vector of logic, independent of the argument type. >But I agree that this implicitly defines that $signed() returns a >2-state result for a 2-state argument as well as explicitly defining >that for sign casting. Some people might infer this. I don't. 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 Wed Mar 26 10:07:14 2008
This archive was generated by hypermail 2.1.8 : Wed Mar 26 2008 - 10:07:53 PDT