Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!uakari.primate.wisc.edu!samsung!emory!hubcap!gatech!udel!princeton!phoenix!eliot
From: eliot@phoenix.Princeton.EDU (Eliot Handelman)
Newsgroups: comp.lang.lisp
Subject: Re: Question about INTERN
Message-ID: <5821@idunno.Princeton.EDU>
Date: 31 Jan 91 01:33:29 GMT
References: <1991Jan29.055536.1523@magnus.ircc.ohio-state.edu> <5783@idunno.Princeton.EDU> <4037@skye.ed.ac.uk>
Sender: news@idunno.Princeton.EDU
Organization: Princeton University, New Jersey
Lines: 25


In article <4037@skye.ed.ac.uk> jeff@aiai.UUCP (Jeff Dalton) writes:
;In article <5783@idunno.Princeton.EDU> eliot@phoenix.Princeton.EDU (Eliot Handelman) writes:
;

;>Common Lisp says that (TYPE-OF any-house) might return T.
;
;Actually, according to CLtL II, page 66, TYPE-OF never returns T.

Yes, I'm wrong, but anyhow CLtL II isn't Common Lisp (or so I've
been led to believe from some recent discussion on the common lisp
mailing list, for as Steele says in the preface, "In no way  does this
book constitute a definitive description of the *forthcoming* ANSI
standards" (pg xii, my asterisks)).

;Moreover (page 67), "for any object created by a DEFSTRUCT constructor
;function, where the defstruct has the name _name_ and no :TYPE option,
;TYPE-OF will return _name_.
;
;This relationship between TYPE-OF and defstruct was also true in
;CLtL I.
;
;-- jd

Yes.