diff options
| author | Andrea Corallo <akrl@sdf.org> | 2020-12-17 17:31:22 +0100 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2020-12-21 20:22:03 +0100 |
| commit | 3540b1f167d63e1a38ec0719f909dcda60c77ad3 (patch) | |
| tree | 5461c9a6fd7616dbcb467eefbf38f727a947731f /lisp/emacs-lisp/text-property-search.el | |
| parent | c70c08013f96438b640e07f884349d9436897252 (diff) | |
| download | emacs-3540b1f167d63e1a38ec0719f909dcda60c77ad3.tar.gz emacs-3540b1f167d63e1a38ec0719f909dcda60c77ad3.tar.bz2 emacs-3540b1f167d63e1a38ec0719f909dcda60c77ad3.zip | |
* Guarantee fwprop convergence and termination
* lisp/emacs-lisp/comp.el (comp-emit-call-cstr): Have new-mvar as
LHS *and* RHS when constraining in and to ensure monotonicity and
fwprop convergence.
(comp-fwprop): Raise a warning for debug reasons in case fwprop
does not converge within 100 iterations.
Diffstat (limited to 'lisp/emacs-lisp/text-property-search.el')
0 files changed, 0 insertions, 0 deletions