[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-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)