From: Christophe R. <cs...@ca...> - 2002-04-07 10:40:44
|
On Sat, Apr 06, 2002 at 11:18:20AM -0600, William Harold Newman wrote: > I've attached the updated patch. It still doesn't handle > (SUBTYPEP 'ATOM 'NIL) but it seems to get everything else right. > (And probably tomorrow I'll take a shot at the ATOM-vs.-NIL case.) I like it :) Thanks. As for (subtypep 'ATOM 'NIL), the potential confusion will arise because some hairy types [say '(SATISFIES FOO), with (defun foo (x) (and (numberp x) (> x 2) (evenp x) (primep x)))], are equivalent to the NIL type without the compiler being sufficiently smart to notice. At a guess, the similar call-next-method ish change will work in the NAMED :COMPLEX-SUBTYPEP-ARG2 method as for the UNION method. Cheers, Christophe -- Jesus College, Cambridge, CB5 8BL +44 1223 510 299 http://www-jcsu.jesus.cam.ac.uk/~csr21/ (defun pling-dollar (str schar arg) (first (last +))) (make-dispatch-macro-character #\! t) (set-dispatch-macro-character #\! #\$ #'pling-dollar) |