0.7.12.40:

	Fixed a stupid bug in the NOT type translator, revealed by Paul
		Dietz' suite:
	... properly invert the bound: if it's a CONS, take the CAR;
	... now we understand (NOT (RATIONAL (0) (10)) a bit better.

src/code/late-type.lisp

@@ -1307,24 +1307,24 @@
 	   (modified-numeric-type
 	    not-type
 	    :low (let ((h (numeric-type-high not-type)))
-		   (if (consp h) h (list h)))
+		   (if (consp h) (car h) (list h)))
 	    :high nil))
 	  ((null (numeric-type-high not-type))
 	   (modified-numeric-type
 	    not-type
 	    :low nil
 	    :high (let ((l (numeric-type-low not-type)))
-		    (if (consp l) l (list l)))))
+		    (if (consp l) (car l) (list l)))))
 	  (t (type-union
 	      (modified-numeric-type
 	       not-type
 	       :low nil
 	       :high (let ((l (numeric-type-low not-type)))
-		       (if (consp l) l (list l))))
+		       (if (consp l) (car l) (list l))))
 	      (modified-numeric-type
 	       not-type
 	       :low (let ((h (numeric-type-high not-type)))
-		      (if (consp h) h (list h)))
+		      (if (consp h) (car h) (list h)))
 	       :high nil))))))
       ((intersection-type-p not-type)
        (apply #'type-union

version.lisp-expr

@@ -18,4 +18,4 @@
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
 
-"0.7.12.39"
+"0.7.12.40"