X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fearly-type.lisp;h=b1833ec372389983ddbb830c51bbed154a61fe3b;hb=c906a1440506a4133adf3e77371bde75ad7721ee;hp=b338ad70907ba514600592ad04ad928053dad36f;hpb=20ff6ab34905c4869f299eae1b94aa28eb351068;p=sbcl.git

diff --git a/src/code/early-type.lisp b/src/code/early-type.lisp
index b338ad7..b1833ec 100644
--- a/src/code/early-type.lisp
+++ b/src/code/early-type.lisp
@@ -337,8 +337,13 @@
             (:copier nil))
   (pairs (missing-arg) :type list :read-only t))
 (defun make-character-set-type (&key pairs)
-  (aver (equal (mapcar #'car pairs)
-              (sort (mapcar #'car pairs) #'<)))
+  ; (aver (equal (mapcar #'car pairs)
+  ;              (sort (mapcar #'car pairs) #'<)))
+  ;; aver that the cars of the list elements are sorted into increasing order
+  (aver (or (null pairs)
+	    (do ((p pairs (cdr p)))
+		((null (cdr p)) t)
+	      (when (> (caar p) (caadr p)) (return nil)))))
   (let ((pairs (let (result)
                 (do ((pairs pairs (cdr pairs)))
                     ((null pairs) (nreverse result))