Subject: Re: Can SUBTYPEP fail?
From: (Rob Warnock)
Date: Tue, 25 Mar 2003 08:49:52 -0600
Newsgroups: comp.lang.lisp
Message-ID: <>
Juanjo <> wrote:
| 4) The ANSI specification says nothing about exceptional conditions in

Not quite -- it says:

	Exceptional Situations: None. 

To me, that suggests "never throws an exception". In particular, given
the definition of SUBTYPEP, I should think that this should be fairly

	(defun valid-subtype-spec-p (x)
	  (multiple-value-bind (subtype-p valid-p)
	      (subtypep x t)
	    (and subtype-p valid-p)))


Rob Warnock, PP-ASEL-IA		<>
627 26th Avenue			<URL:>
San Mateo, CA 94403		(650)572-2607