]> git.eshelyaron.com Git - emacs.git/commit
Add 1+ 1- integer range propagation support
authorAndrea Corallo <akrl@sdf.org>
Sun, 27 Dec 2020 20:33:07 +0000 (21:33 +0100)
committerAndrea Corallo <akrl@sdf.org>
Sun, 27 Dec 2020 20:50:34 +0000 (21:50 +0100)
commit42fb6de0b366622cd59006f69fbc13c5cf3a0714
tree1aa87b079cccfd96b828b0ef089ddc513d08ed68
parent7d07a718416d6c24df0719483279c4278dce4acb
Add 1+ 1- integer range propagation support

* lisp/emacs-lisp/comp-cstr.el (comp-cstr-one): New special var.
* lisp/emacs-lisp/comp.el (comp-fwprop-call): Propagate integer
ranges on +1 -1.
* test/src/comp-tests.el (comp-tests-type-spec-tests): Add two tests.
lisp/emacs-lisp/comp-cstr.el
lisp/emacs-lisp/comp.el
test/src/comp-tests.el