[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Issue: TYPE-OF-UNDERCONSTRAINED (Version 1)
- To: Jon L White <jonl@lucid.com>
- Subject: Re: Issue: TYPE-OF-UNDERCONSTRAINED (Version 1)
- From: Rob.MacLachlan@WB1.CS.CMU.EDU
- Date: Wed, 07 Dec 88 13:09:10 EST
- Cc: masinter.pa@Xerox.COM, cl-cleanup@SAIL.STANFORD.EDU
- In-reply-to: Your message of Tue, 06 Dec 88 21:22:42 -0800. <8812070522.AA11470@bhopal>
Date: Tue, 6 Dec 88 21:22:42 PST
From: Jon L White <jonl@lucid.com>
Message-Id: <8812070522.AA11470@bhopal>
To: masinter.pa@Xerox.COM
Subject: Issue: TYPE-OF-UNDERCONSTRAINED (Version 1)
[...]
-- The sentence:
The result of TYPE-OF cannot contain be a MEMBER type specifier, or T.
should be emmended to include a rejection of NIL.
I believe the TYPEP TYPE-OF consistency constraint implies this, since no
object is TYPEP to NIL.
Rob