Re: Definition of a sequence

[Dirk Laurie <dirk.laurie@...>]

2015-06-04 20:56 GMT+02:00 Tim Hill <drtimhill@gmail.com>:

> I see no reason why this should change. The support for 64-bit integers
> doesn't change the concept, which is to disallow non-integral positive keys
> in a sequence. The definition deals with values (integral vs non-integral)
> not their representation (integer or integral float).

The point is that the definition not only disallows non-integral positive
keys in a sequence, it makes the length operator non-deterministic
the moment you have any positive non-integer key in your table,
even though that key will never be referenced by any table library
routine, and is not taken into account by the algorithm that calculates
length. This is not an implementation detail, since length must be
an integer.