| commit | 51f54cb708de2f56172e2d8c567a35a02b681274 | |
| author | Stas Boukarev <stassats@gmail.com> | |
| Mon, 4 Apr 2016 13:35:04 +0000 (4 16:35 +0300) | ||
| committer | Stas Boukarev <stassats@gmail.com> | |
| Mon, 4 Apr 2016 13:38:43 +0000 (4 16:38 +0300) | ||
| tree | 6f724ff51cb921328eb60c896720aa7c3c42b3ae | treesnapshot (tar.gz zip) |
| parent | 24fd98dfdbdd6c039957ade98fabb780c1514a95 | commitdiff |
Work around a constraint propagation problem.
Clear the results of previous runs in CONSTRAINT-PROPAGATE. Otherwise
FIND-AND-PROPAGATE-CONSTRAINTS may never terminate since it'll think
that things keep changing.
Fixes lp#1540123
Clear the results of previous runs in CONSTRAINT-PROPAGATE. Otherwise
FIND-AND-PROPAGATE-CONSTRAINTS may never terminate since it'll think
that things keep changing.
Fixes lp#1540123
| src/compiler/constraint.lisp | diffblobblamehistory |