1.0.1.35: propagate (EQL X Y) constraints symmetrically
authorGabor Melis <mega@hotpop.com>
Tue, 23 Jan 2007 16:04:53 +0000 (16:04 +0000)
committerGabor Melis <mega@hotpop.com>
Tue, 23 Jan 2007 16:04:53 +0000 (16:04 +0000)
commit3c9981c71f4d0d2c5b5830486c4b9a35ab50a240
tree9b8fcba4357c8045e1cada56ff99a8db20148851
parent0e6e1b2a81134f1b45330fd6abe49e32020e409d
1.0.1.35: propagate (EQL X Y) constraints symmetrically
  After an (EQL X Y) test both X and Y shall inherit the constraints
  of the other. Thanks to jsnell for spotting this.
src/compiler/constraint.lisp
tests/compiler.pure.lisp
version.lisp-expr