On 20/10/15 03:55, Aaron Davies wrote:
> On Aug 24, 2015, at 3:34 AM, f0rhum wrote:
>>
>> Le 23/08/2015 23:11, Stephane Chazelas a écrit :
>>
>>> 2015-08-23 13:26:35 +0200, Erik Auerswald:
Hi,
On Sat, Aug 22, 2015 at 08:58:01PM -0700, Paul Eggert wrote:
>
Pádraig Brady wrote:
If a limit, then 0 naturally implies no limit. If a length, then 0 is
meaningless.
It's not meaningless. It means length 0. Length -1 would be meaningless.
That being said, I'm tired of fighting this issue, so please feel free to go
ahead and have 0 mean infinity to the
On Oct 20, 2015, at 12:31 PM, Paul Eggert wrote:
> Pádraig Brady wrote:
>
>> If a limit, then 0 naturally implies no limit. If a length, then 0 is
>> meaningless.
>
> It's not meaningless. It means length 0. Length -1 would be meaningless.
I'm entirely indifferent between