>There are lots of hard cases hereabouts: e.g., c ? a : a[4:5] Since you have to apply the LRM rules to determine the width of the resulting value of ?:, and convert both operands to that width, it seems clear to me that you have to normalize. The result of (1 ? a : b) may not have the type of a. >Also (min:typ:max) there's a synthesized type (ouch)! This is tougher, since it really does select one of the expressions and act as if the others were not present. 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 Mon Oct 15 17:17:18 2007
This archive was generated by hypermail 2.1.8 : Mon Oct 15 2007 - 17:17:49 PDT