[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Issue: SUBTYPEP-EMPTY-NIL (Version 1)
- To: Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>
- Subject: Re: Issue: SUBTYPEP-EMPTY-NIL (Version 1)
- From: David N Gray <Gray@DSG.csc.ti.com>
- Date: Wed, 8 Feb 89 11:06:33 CST
- Cc: CL-Cleanup@SAIL.Stanford.EDU
- In-reply-to: Msg of Tue, 7 Feb 89 15:59 EST from Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>
- Sender: GRAY@Kelvin.csc.ti.com
> Proposal (SUBTYPEP-EMPTY-NIL:T-T):
>
> 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.