[sv-ec] RE: Manti 2701, 2514 - response to Tom Alsop's feedback

On 2701, I would like to include an example for the push_front() case.

If I have

int Q2[$:1]; // only [0:1] is allowed
Q2 = {0,1};

And then I do 

push_front(2);

I assume I should get

Q2[0] = 2
Q2[1] = 0

And a warning because the operation attempts to write Q2[2]. 
But I can see that someone might be unsure about the final state of the queue.

By the way, in the proposal, there is an extra space between "push_front" and "()".

Thanks,
Shalom
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.


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