> There was nothing wrong with the previous verbiage. The issue raised > in this item was to clarify the behavior of the assignment of an > unbounded queue to a bound queue. I can't agree with this. If the original wording were OK then the ballot item's question would not have arisen. It seems daft to fix just that one special case when in truth the problem is that the wording was insufficiently general to cover all the various possibilities, including the unbounded-to-bounded copy mentioned in the ballot item, but also situations such as push_front() on a bounded queue that is already full. I have already discussed with Shalom an alternative, simpler definition. We could state that unbounded queues behave exactly as regular queues, with just one exception: if, after any operation that writes to an unbounded queue variable, that variable has elements beyond its bound, then all such out-of-bounds elements shall be discarded and a warning shall be issued. We would need a note to point out that implementations are free to do anything that gives the same resulting effect, but this description would cover every possible case in a very simple and general way and I'm confident that it captures the desired intent. > As to the warnings, this proposal > is too restrictive to vendors, and the LRM generally gives > wider latitude to implementations with respect to warnings. Yes, other people have said the same. As long as everyone is happy to mandate at least one warning, then it should be easy to relax and simplify that part of the proposal. -- 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 Fri May 1 02:30:38 2009
This archive was generated by hypermail 2.1.8 : Fri May 01 2009 - 02:31:11 PDT