On Friday, 28 March 2014 at 16:30:36 UTC, John Stahara 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
<paolo.invernizzi@no.address> 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
Thank you John, that's exact: I'm talking about my colleagues
working with D.
-- Paolo
