Re: [sv-ec] {}

From: <jonathan.bromley_at_.....>
Date: Mon Jul 27 2009 - 15:05:03 PDT
Shalom,

> There seems to be an ambiguity in the LRM on the use of {} to denote
> an empty array.
> 
> On the one hand, the LRM seems to restrict it to queues. 
> The BNF non-terminal "primary" contains "empty_queue", defined as "{ }", 

> and footnote 31 says that "{ } shall only be legal in the context ofa 
queue".
> 
> On the other hand, 10.10 says,
[...]

Mea culpa.  This is clearly an oversight in Mantis 1702.
I recall that I looked at the BNF and decided that no change
was needed because the existing production "concatenation"
does all that's required for unpacked array concatenation,
except that it does not admit the empty form {}, for which
the existing production "empty_queue" suffices.  But I missed
the footnote which, as you say, introduces doubt in the
reader's mind - especially when taken with the name
of the production "empty_queue".

It would probably be best to rename "empty_queue" to 
"empty_concatenation" and reword the offending footnote.
I'll raise a new Mantis for this.

Thanks
-- 
Jonathan Bromley
Consultant

Doulos - Developing Design Know-how
VHDL * Verilog * SystemVerilog * SystemC * PSL * 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                        http://www.doulos.com

--------------------------------------------------------------------------------
Doulos Ltd is registered in England and Wales with company no. 3723454
Its registered office is 4 Brackley Close, Bournemouth International 
Airport,
        Christchurch, BH23 6SE, UK. 

This message may contain personal views which are not the views of
Doulos, unless specifically stated.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Jul 27 15:06:14 2009

This archive was generated by hypermail 2.1.8 : Mon Jul 27 2009 - 15:07:12 PDT