protocol for using InputRanges

[Paolo Invernizzi]

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 at 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.
--
Paolo