Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv18778
Modified Files: typep.lisp Log Message: Added knowledge of the satisfies type in typep's compiler-macro.
Date: Mon Apr 19 15:51:01 2004 Author: ffjeld
Index: movitz/losp/muerte/typep.lisp diff -u movitz/losp/muerte/typep.lisp:1.10 movitz/losp/muerte/typep.lisp:1.11 --- movitz/losp/muerte/typep.lisp:1.10 Sat Apr 17 10:08:24 2004 +++ movitz/losp/muerte/typep.lisp Mon Apr 19 15:51:01 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Fri Dec 8 11:07:53 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: typep.lisp,v 1.10 2004/04/17 14:08:24 ffjeld Exp $ +;;;; $Id: typep.lisp,v 1.11 2004/04/19 19:51:01 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------
@@ -294,6 +294,11 @@ not-fixnum))))))) ((eql) `(eql ,object ',(cadr type))) + ((satisfies) + (destructuring-bind (predicate-name) + (cdr type) + (check-type predicate-name symbol "a satisfies predicate-name") + `(,predicate-name ,object))) ((cons) (destructuring-bind (&optional (car t) (cdr t)) (cdr type)