RE: [sv-ec] 1447 updated

Neil,

The following comment from your review refers to text I proposed, 
and which Mike Burns grafted in to 1447:

  1. Page 1, 7.4
    There is a problem with the wording in the following sentence. The issue is 
    that an array has to have at least one dimension. I think that most people 
    will understand what you currently have here, but we may want to re-word it 
    to be more precise.
      From: "An array may have any number of unpacked dimensions."
        To:  An array may have one or more unpacked dimensions. 

Agreed that this is clearer, thanks.

There is also an issue here relating to 958.  We still have not
said very clearly what it means to have an uninitialized dynamic 
array dimension, although I think everyone agrees that it should 
act just as if it had been initialized by new[0] - in other words 
it exists, but it is devoid of elements.  I could fix that in 958,
but I think it would make more sense to add the following to 1447:

In the new text for 7.5 Dynamic arrays, change
   where data_type is the data type of the array elements 
   and index_list contains one or more dynamic dimensions, 
   each indicated by []. . 
to
   where data_type is the data type of the array elements 
   and index_list contains one or more dynamic dimensions, 
   each indicated by [].  The default initial value for an
   array or subarray whose slowest-varying dimension is a 
   dynamic array dimension shall be an array with no elements
   (an empty array).

-- 
Jonathan Bromley, Consultant

DOULOS - Developing Design Know-how
VHDL * Verilog * SystemC * e * Perl * Tcl/Tk * Project Services

Doulos Ltd. Church Hatch, 22 Market Place, Ringwood, Hampshire, BH24 1AW, UK
Tel: +44 (0)1425 471223                   Email: jonathan.bromley@doulos.com
Fax: +44 (0)1425 471573                           Web: http://www.doulos.com

The contents of this message may contain personal views which 
are not the views of Doulos Ltd., unless specifically stated.

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