Camm Maguire wrote:
Greetings! I need a more powerful subtypep for the compiler, and it
appears I have one basically implemented. I'd like to make use of the
second value to indicate whether the first type is in the complement
of the second type -- i.e. nil t means the types are disjoint (so
Greetings, and thanks for your reply!
Paul F. Dietz [EMAIL PROTECTED] writes:
Camm Maguire wrote:
Greetings! I need a more powerful subtypep for the compiler, and it
appears I have one basically implemented. I'd like to make use of the
second value to indicate whether the first type is
Greetings, and thanks for your suggestion! What timing -- I had just
gotten to subtypep.complex.7. A minor modification to your suggestion
allows us to pass all numeric subtypep tests:
(defun upgraded-complex-part-type (type optional environment) (declare (ignore
environment)) type)