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

Re: Issue: SUBTYPEP-EMPTY-NIL (Version 1)

>   Specify that empty ranges are a subtype of NIL.
>   The test cases would then have to return either {T, T},
>   or {NIL, NIL}.

Sounds good; this seems like a reasonable interpretation of an otherwise
meaningless situation.

> Current Practice:

The Explorer currently returns {NIL, T} for #1 but {T, T} for #2,
although the latter may have been more by accident than by design.