Re: Bug report in length of simple table

[Coda Highland <chighland@...>]

On Wed, Sep 14, 2016 at 7:40 AM, Scott Morgan <blumf@blueyonder.co.uk> wrote:
> On 14/09/16 15:04, Roberto Ierusalimschy wrote:
>> The table {x=1, y=10} has one border, 1.
>
> Shouldn't that be 0?
>
> Scott

No, it's 1. t[1] == nil and t[1-1] hits the inductive base case of the
definition.

/s/ Adam