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/