projects / sbcl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d62443f) | patch
1.0.23.68: Cleanups in constraint propagation.
authorRichard M Kreuter <kreuter@users.sourceforge.net>
Fri, 26 Dec 2008 14:19:06 +0000 (14:19 +0000)
committerRichard M Kreuter <kreuter@users.sourceforge.net>
Fri, 26 Dec 2008 14:19:06 +0000 (14:19 +0000)
commit0223a229f6fd1b4cfc809e30e35361df99fb2340
treeb2f7a49902ce0885c4965d6c43b3d00a6c7849bftree | snapshot
parentd62443f0937aa0ab67a01dcbce31272a2a7425d1commit | diff
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 diff | blob | history
version.lisp-expr diff | blob | history
Mirror of Steel Bank Common Lisp SBCL's official repository