X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fcross-type.lisp;h=557f6db0b0e7bba54654c095b7b4f59752133d4d;hb=b63c81837c2eae7bcf3b09911f68ba62d102b63d;hp=228496f05e84cb706d1a84a38759f0231234a0d8;hpb=2d3cb6dba6461e98744eca2a1df4f770cea468ca;p=sbcl.git

diff --git a/src/code/cross-type.lisp b/src/code/cross-type.lisp
index 228496f..557f6db 100644
--- a/src/code/cross-type.lisp
+++ b/src/code/cross-type.lisp
@@ -148,14 +148,14 @@
 	     (typep target-type 'class)
 	     (bug "We don't support CROSS-TYPEP of CLASS type specifiers"))
 	    ((and (symbolp target-type)
-		  (find-class target-type nil)
-		  (subtypep target-type 'sb!kernel::structure!object))
-	     (values (typep host-object target-type) t))
-	    ((and (symbolp target-type)
 		  (find-classoid target-type nil)
 		  (sb!xc:subtypep target-type 'cl:structure-object)
 		  (typep host-object '(or symbol number list character)))
 	     (values nil t))
+	    ((and (symbolp target-type)
+		  (find-class target-type nil)
+		  (subtypep target-type 'sb!kernel::structure!object))
+	     (values (typep host-object target-type) t))
 	    (;; easy cases of arrays and vectors
 	     (target-type-is-in
 	      '(array simple-string simple-vector string vector))
@@ -184,7 +184,7 @@
 	     ;; we don't continue doing it after we someday patch
 	     ;; SBCL's type system so that * is no longer a type, we
 	     ;; make this assertion. -- WHN 2001-08-08
-	     (aver (typep (specifier-type '*) 'named-type))
+	     (aver (typep (values-specifier-type '*) 'named-type))
 	     (values t t))
 	    (;; Many simple types are guaranteed to correspond exactly
 	     ;; between any host ANSI Common Lisp and the target