Re: [sv-bc] confusion in determining the type of an self determined binary expression during evalution of type operator

Feldman, Yulik wrote:
> I would say that you need to normalize only if the types of then- and
> else- expressions do not match. If the types are matching (or "same"),
> it would be more useful to let the conditional operator return this
> type, rather than to artificially normalize it. This is especially true
> for non-integral types.

Especially true for enum types (which shouldn't reduce to integers here).

> Aside conditional operators and identifiers, mentioned in this mail
> thread, other expressions that may (should be defined as able to) have a
> type other than a simple scalar or a "normalized" one-dimensional vector
> are part selects,

Part selects have just their last dimension normalized.

> cast operators, assignment operators, assignment patterns and maybe others.

Except for assignment operators, those are not self-determined contexts.

Greg


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.