1.0.23.68: Cleanups in constraint propagation.
commit0223a229f6fd1b4cfc809e30e35361df99fb2340
authorRichard M Kreuter <kreuter@users.sourceforge.net>
Fri, 26 Dec 2008 14:19:06 +0000 (26 14:19 +0000)
committerRichard M Kreuter <kreuter@users.sourceforge.net>
Fri, 26 Dec 2008 14:19:06 +0000 (26 14:19 +0000)
treeb2f7a49902ce0885c4965d6c43b3d00a6c7849bf
parentd62443f0937aa0ab67a01dcbce31272a2a7425d1
1.0.23.68: Cleanups in constraint propagation.

* Three changes here:

(1) Have the conset's min slot always be a fixnum.  The min and max
    slots should now conform to CL sequence bounding index idioms.

(2) Update the extrema in parallel, rather than in sequence, in the
    conset-union, -intersection, -difference.

(3) Remove some noise from conset-intersection that probably included
    an off-by-one error.

* Fixes a bug reported by Tobias C. Rittweiler on sbcl-devel.
src/compiler/constraint.lisp
version.lisp-expr