diff options
| author | Andrea Corallo <akrl@sdf.org> | 2020-12-02 23:49:00 +0100 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2020-12-05 19:01:03 +0100 |
| commit | 726e40fb7c0eb50e6afe831997da445c32872eed (patch) | |
| tree | 7312b3ea8d911029b9552e54558fa835dc590f94 /test/lisp/emacs-lisp | |
| parent | cbbdb4e1993ffa0f9e467d8c2a6f86403bb6d675 (diff) | |
| download | emacs-726e40fb7c0eb50e6afe831997da445c32872eed.tar.gz emacs-726e40fb7c0eb50e6afe831997da445c32872eed.tar.bz2 emacs-726e40fb7c0eb50e6afe831997da445c32872eed.zip | |
Fix union of homogeneously negated input constraints
* 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.
Diffstat (limited to 'test/lisp/emacs-lisp')
| -rw-r--r-- | test/lisp/emacs-lisp/comp-cstr-tests.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/lisp/emacs-lisp/comp-cstr-tests.el b/test/lisp/emacs-lisp/comp-cstr-tests.el index 5c119c6ba3e..0b10b7f80a1 100644 --- a/test/lisp/emacs-lisp/comp-cstr-tests.el +++ b/test/lisp/emacs-lisp/comp-cstr-tests.el @@ -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 () |