]> git.eshelyaron.com Git - emacs.git/commit
Couple of `comp-cstr-union-1-no-mem' improvements for mixed neg pos union
authorAndrea Corallo <akrl@sdf.org>
Sat, 5 Dec 2020 22:42:25 +0000 (23:42 +0100)
committerAndrea Corallo <akrl@sdf.org>
Sun, 6 Dec 2020 17:02:18 +0000 (18:02 +0100)
commitac40a60696322cd92f37fcddda97ae9c00226bf8
tree0ad146e7e912e967fa947dcd457266a080eacbc9
parent09ec39e35213f92ce297dfed7a42af56b5e2b693
Couple of `comp-cstr-union-1-no-mem' improvements for mixed neg pos union

* lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1-no-mem):
Generalize disjoint pos types vs neg values conditions.
(comp-cstr-union-1-no-mem): Do not propagate ranges when we are
already returning integer as generic type.
* test/lisp/emacs-lisp/comp-cstr-tests.el
(comp-cstr-typespec-tests-alist): Add corresponding tests.
lisp/emacs-lisp/comp-cstr.el
test/lisp/emacs-lisp/comp-cstr-tests.el