On Fri, 28 Mar 2014 16:30:36 -0000, John Stahara <[email protected]> wrote:

On Fri, 28 Mar 2014 16:23:11 +0000, Paolo Invernizzi wrote:

On Friday, 28 March 2014 at 09:30:25 UTC, Regan Heath wrote:
On Fri, 28 Mar 2014 08:59:34 -0000, Paolo Invernizzi
<[email protected]> wrote:
For what concern us, everyone here is happy with the fact that empty
*must* be checked prior to front/popFront.

This is actually not true.

R

What I'm meaning, it's that we don't care: we are always respecting the
sequence "empty > front > pop", and everybody here find it natural.


To clarify for Mr. Invernizzi: the "we" to which he refers is the group
of people he works with, and /not/ the members of this newsgroup.

--jjs

Thanks, that was confusing me :)

R

--
Using Opera's revolutionary email client: http://www.opera.com/mail/

Reply via email to