Is there a function that tells whether a thing is a valid type
specifier, i.e.
(type-specifier-p '(and cons (member a b c))) = t
(type-specifier-p 'this-is-not-a-valid-type) = nil
It should of course also handle user-defined types and hopefully deftypes.
I can't find anything in the CLtL 2, but would guess that specific
implementations has such a function in the internals. So, does anybody
know if CMU, Lucid, (A)KCL... has such a function?
Hallvard Traetteberg,
Former student at:
Norwegian Institute of Technology,
Division of Computer Systems and Telematics
7034 Trondheim - NTH, Norway
E-mail: ········@idt.unit.no or ········@ibt.unit.no
--
Hallvard Traetteberg,
Former student at:
Norwegian Institute of Technology,
Division of Computer Systems and Telematics
7034 Trondheim - NTH, Norway
E-mail: ········@idt.unit.no or ········@ibt.unit.no