[movitz-cvs] CVS update: movitz/losp/muerte/typep.lisp

[Frode Vatvedt Fjeld]

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)