[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: DRAFT Issue: TAILP-NIL (Version 2)



> Current Practice:
> 
>   Symbolics Genera is consistent with TAILP-NIL:T.
> 
>   [Walter alleges TAILP-NIL:NIL is what all implementations already
>    do, but since Genera is not in conformance, KMP regards that
>    hypothesis as suspect. We need real data points, folks.]

The Explorer is consistent with TAILP-NIL:NIL, in accordance with the
1985 "clarifications" list, but I don't really have an opinion on
whether this is the best choice.