[sv-bc] Erratum and PROPOSAL -- 3.9 -- 'complex data types' as parameters


Subject: [sv-bc] Erratum and PROPOSAL -- 3.9 -- 'complex data types' as parameters
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Tue Nov 11 2003 - 19:02:24 PST


According to 3.9,

   "User-defined type names must be used for complex data types in casting
    (see Section 3.14, below), and as parameters."

The BNF implements this sentence for casting, but not for parameters,
because
according to A.4.1.1, a parameter assignment can take any data_type, and
according to A.2.4, so can a type_assignment.

PROPOSAL

    In A.4.1.1 and Syntax 18-3 in ordered_parameter_assignment
    and in named_parameter_assignment, REPLACE

           data_type

    WITH

           simple_type

    In A.2.4 and Syntax 20-1, in type_assignment, REPLACE

           data_type

    WITH
           simple_type



This archive was generated by hypermail 2b28 : Tue Nov 11 2003 - 19:04:26 PST