1.0.20.3: Minor refactoring in constraint propagation.
commit447a67e0ac2a274d524e6fa0aa11daff906ed91e
authorRichard M Kreuter <kreuter@users.sourceforge.net>
Sat, 6 Sep 2008 17:03:34 +0000 (6 17:03 +0000)
committerRichard M Kreuter <kreuter@users.sourceforge.net>
Sat, 6 Sep 2008 17:03:34 +0000 (6 17:03 +0000)
treec48ffe1ab2df9da9a642797a49267bc8f80fe645
parent77bf768d096845986af71ca5055c94c4abd626ed
1.0.20.3: Minor refactoring in constraint propagation.

* Eliminate keyword arguments to CONSTRAINT-PROPAGATE-IN-BLOCK and
  FIND-BLOCK-TYPE-CONSTRAINTS.  (Preamble to a soon-to-come reworking
  of CP; split into a separate commit per Nikodemus's request.)
src/compiler/constraint.lisp
version.lisp-expr