Commit [3c9981] Maximize Restore History

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.

Gabor Melis Gabor Melis 2007-01-23

changed src/compiler/constraint.lisp
changed tests/compiler.pure.lisp
changed version.lisp-expr
src/compiler/constraint.lisp Diff Switch to side-by-side view
Loading...
tests/compiler.pure.lisp Diff Switch to side-by-side view
Loading...
version.lisp-expr Diff Switch to side-by-side view
Loading...