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
