[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: LIST-LENGTH & circular lists
At 4:13 PM -0500 2/18/99, Olin Shivers wrote:
> From: Doug Currie <e@xxxxxxxxxxx>
> One thing I have found useful is a version of list-length that terminates
> on circular-lists, perhaps returning #f or 0 (or -N) for circular lists. It
> kills two birds with one stone, and isn't much harder to implement than
>We could extend LIST-LENGTH to return #F on circular lists.
>This does have the effect of screwing up type inference on LIST-LENGTH -- you
>can no longer conclude that it returns a fixnum.
If we accept Olin's proposition that "Everything is a list (Or: When you've
got a hammer...)" then everything should have a list length. So, I ammend
my suggestion above to say: Extend list-length so it terminates on
circular-lists, returning 0 for anything which is a circular-list (isn't a
proper-list or a dotted-list).