Section 4,6, 4.11
Union members

 

In 4.6, REPLACE

 

            — Chandles shall not be used:

— In any expression other than as permitted above

— As ports

— In sensitivity lists or event expressions

— In continuous assignments

— In unions

— In packed types

 

 

WITH

 

            — Chandles shall not be used:

— In any expression other than as permitted above

— As ports

— In sensitivity lists or event expressions

— In continuous assignments

— In untagged unions

— In packed types

 

 

 

In 4.11, REPLACE

 

            Thus, it is impossible to store a value of one type and (mis)interpret the bits as another type.

 

 

WITH

 

            Thus, it is impossible to store a value of one type and (mis)interpret the bits as another type.

 

            Dynamic types and chandles shall not be used in untagged unions, but may be used in tagged unions.