Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv4801

Modified Files: typep.lisp Log Message: Add a compile-time assertion to the typep compiler-macro, ensuring consitency for the pointer type.

Date: Mon Mar 29 09:34:20 2004 Author: ffjeld

Index: movitz/losp/muerte/typep.lisp diff -u movitz/losp/muerte/typep.lisp:1.4 movitz/losp/muerte/typep.lisp:1.5 --- movitz/losp/muerte/typep.lisp:1.4 Wed Mar 24 06:24:52 2004 +++ movitz/losp/muerte/typep.lisp Mon Mar 29 09:34:20 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.4 2004/03/24 11:24:52 ffjeld Exp $ +;;;; $Id: typep.lisp,v 1.5 2004/03/29 14:34:20 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------

@@ -188,6 +188,8 @@ (tag5 (make-tag-typep :null)) (tag6 (make-tag-typep :other)) (pointer + (assert (equal (mapcar 'movitz::tag '(:cons :other :symbol)) + '(1 6 7))) `(with-inline-assembly-case () (do-case (t :boolean-zf=0 :labels (done)) (:compile-form (:result-mode :eax) ,object)