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

Issue: SUBTYPEP-EMPTY-NIL (Version 1)

To: KMP@STONY-BROOK.SCRC.Symbolics.COM
Subject: Issue: SUBTYPEP-EMPTY-NIL (Version 1)
From: gz@spt.entity.com (Gail Zacharias)
Date: 8 Feb 89 14:02:52 EST (Wed)
Cc: CL-Cleanup@SAIL.Stanford.EDU
In-reply-to: Kent M Pitman's message of Wed, 8 Feb 89 09:37 EST <890208093740.1.KMP@BOBOLINK.SCRC.Symbolics.COM>

   If CLtL is clear and I've just missed the passage, by all means cite it.  

CLtL p72: "If a data type is viewed as the set of all objects belonging to the
type, then the TYPEP function is a set membership test, while SUBTYPEP is a
subset test."

Follow-Ups:
- Issue: SUBTYPEP-EMPTY-NIL (Version 1)
  - From: Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>

References:
- Issue: SUBTYPEP-EMPTY-NIL (Version 1)
  - From: Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>

Prev by Date: Re: Issue: IGNORE-VARIABLE (Version 1)
Next by Date: Issue: SUBTYPEP-EMPTY-NIL (Version 1)
Previous by thread: Re: Issue: SUBTYPEP-EMPTY-NIL (Version 1)
Next by thread: Issue: SUBTYPEP-EMPTY-NIL (Version 1)
Index(es):
- Date
- Thread