[Sbcl-commits] CVS: sbcl/tests mop.impure.lisp,1.7.4.2,1.7.4.3

[Christophe R. <cr...@us...>]

Update of /cvsroot/sbcl/sbcl/tests
In directory sc8-pr-cvs1:/tmp/cvs-serv11778/tests

Modified Files:
      Tag: pcl_class_defrobulation_branch
	mop.impure.lisp 
Log Message:
0.7.13.pcl-class.5
	Fix up SB-PCL exports
	... go through AMOP and make sure they agree, and add basic
		consistency check.

Aargh, did I say "no regressions"?  It looks like the CONDITION-CLASS 
stuff broke defining classes with STRUCTURE-CLASS as a metaclass :-(  
Hunting now...


Index: mop.impure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/mop.impure.lisp,v
retrieving revision 1.7.4.2
retrieving revision 1.7.4.3
diff -u -d -r1.7.4.2 -r1.7.4.3
--- mop.impure.lisp	21 Mar 2003 09:56:12 -0000	1.7.4.2
+++ mop.impure.lisp	21 Mar 2003 15:31:20 -0000	1.7.4.3
@@ -111,5 +111,20 @@
 ;;; of all built-in-classes is of the relevant type)
 (assert (null (sb-pcl:class-prototype (find-class 'null))))
 
+;;; simple consistency checks for the SB-PCL (perhaps AKA SB-MOP)
+;;; package: all of the functionality specified in AMOP is in
+;;; functions:
+(assert (null (loop for x being each external-symbol in "SB-PCL"
+		    unless (fboundp x) collect x)))
+;;; and all generic functions in SB-PCL have at least one specified
+;;; method, except for UPDATE-DEPENDENT
+(assert (null (loop for x being each external-symbol in "SB-PCL"
+		    unless (or (eq x 'sb-pcl:update-dependent)
+			       (not (typep (fdefinition x) 'generic-function))
+			       (> (length (sb-pcl:generic-function-methods
+					   (fdefinition x)))
+				  0))
+		    collect x)))
+
 ;;;; success
 (sb-ext:quit :unix-status 104)