diff options
| author | Andrea Corallo <akrl@sdf.org> | 2020-12-18 17:22:05 +0100 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2020-12-21 20:22:03 +0100 |
| commit | e0f20da6ecd1fceabdce480dd878be293cfba027 (patch) | |
| tree | bbfcbeb71319862f1d4e81979342e1aff141ade6 /test/lisp/emacs-lisp | |
| parent | 3540b1f167d63e1a38ec0719f909dcda60c77ad3 (diff) | |
| download | emacs-e0f20da6ecd1fceabdce480dd878be293cfba027.tar.gz emacs-e0f20da6ecd1fceabdce480dd878be293cfba027.tar.bz2 emacs-e0f20da6ecd1fceabdce480dd878be293cfba027.zip | |
Simplify correctly (or (integer 1 1) (not (integer 1 1))) as t
* lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1-no-mem): Logic
update.
* test/lisp/emacs-lisp/comp-cstr-tests.el
(comp-cstr-typespec-tests-alist): Add a test.
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 f7ea00e86f2..b38573ca33a 100644 --- a/test/lisp/emacs-lisp/comp-cstr-tests.el +++ b/test/lisp/emacs-lisp/comp-cstr-tests.el @@ -199,7 +199,9 @@ ;; 80 ((and (or marker number) (integer 0 0)) . (integer 0 0)) ;; 81 - ((and t (not t)) . nil)) + ((and t (not t)) . nil) + ;; 82 + ((or (integer 1 1) (not (integer 1 1))) . t)) "Alist type specifier -> expected type specifier.") (defmacro comp-cstr-synthesize-tests () |