mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2025-12-15 10:30:25 -08:00
Code Issues Projects Releases Wiki Activity

Fix union of homogeneously negated input constraints

Browse source 
* lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1): Fix logic.
	* test/lisp/emacs-lisp/comp-cstr-tests.el
	(comp-cstr-typespec-tests-alist): Add a couple of tests.
This commit is contained in:
Andrea Corallo 2020-12-02 23:49:00 +01:00
parent cbbdb4e199
commit 726e40fb7c
2 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
test/lisp/emacs-lisp/comp-cstr-tests.el
View file

@ -85,7 +85,9 @@
((or symbol (not sequence)) . t)
((or vector (not sequence)) . (not sequence))
((or (integer 1 10) (not (integer * 5))) . (integer 1 *))
((or symbol (integer 1 10) (not (integer * 5))) . (integer 1 *)))
((or symbol (integer 1 10) (not (integer * 5))) . (integer 1 *))
((or symbol (not (member foo))) . (not (member foo)))
((or (not symbol) (not (member foo))) . (not symbol)))
"Alist type specifier -> expected type specifier.")
(defmacro comp-cstr-synthesize-tests ()