Index: /branches/working-0711/ccl/level-1/l1-typesys.lisp
===================================================================
--- /branches/working-0711/ccl/level-1/l1-typesys.lisp	(revision 8527)
+++ /branches/working-0711/ccl/level-1/l1-typesys.lisp	(revision 8528)
@@ -3655,8 +3655,9 @@
 			       ((eql i rank) t)
 			    (unless (or (eq (car want) '*)
-					(eql (car want) (the fixnum got)))
+					(eql (%car want) (the fixnum got)))
 			      (return nil)))))
 		   (and (null (cdr ctype-dimensions))
-			(eql (car ctype-dimensions) (array-total-size object))))))
+			(or (eq (%car ctype-dimensions) '*)
+			    (eql (%car ctype-dimensions) (array-total-size object)))))))
 	 (or (eq (array-ctype-element-type type) *wild-type*)
 	     (eql (array-ctype-typecode type)