RE: [sv-ec] Mantis 1702 - queue concatenation

I spent a while trying to work out whether the LRM
permits assignment patterns '{} of queue type.  It 
seems to me that clause 7.4.2 of draft 4 clearly
treats queues as just one of several different kinds
of unpacked array, and therefore permits the following:

  typedef int T_Q[$];
  T_Q  Q;
  ...
  Q = '{1,2,3,4};
  Q = T_Q'{5,6,7,8};

Does anyone disagree?  Does this need specific
clarification, or can we take it as a self-evident
consequence of the LRM?  I can't find any examples
in the LRM of such usage.

I agree with others that the use of '{} to 
do queue concatenation is unacceptable:

  Q = '{Q, 9};  // wrong element type in assignment pattern

hence the need for a new definition for {Q, element}.
  
Thanks
-- 
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.