diff options
| author | Andrea Corallo <akrl@sdf.org> | 2020-12-22 20:39:24 +0100 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2020-12-24 15:36:46 +0100 |
| commit | 672988e961744750d3ea40904807355336116c3f (patch) | |
| tree | b5cc51a039007ed47dfd078e99740a68abd7d8fd /test/lisp/emacs-lisp | |
| parent | 538f59806c1994df7d77716f896db5602f59dc02 (diff) | |
| download | emacs-672988e961744750d3ea40904807355336116c3f.tar.gz emacs-672988e961744750d3ea40904807355336116c3f.tar.bz2 emacs-672988e961744750d3ea40904807355336116c3f.zip | |
Symplify (not t) => nil and (not nil) => t
* lisp/emacs-lisp/comp-cstr.el (comp-cstr-negation): Symplify (not
t) => nil and (not nil) => t.
* test/lisp/emacs-lisp/comp-cstr-tests.el
(comp-cstr-typespec-tests-alist): Add two tests.
Diffstat (limited to 'test/lisp/emacs-lisp')
| -rw-r--r-- | test/lisp/emacs-lisp/comp-cstr-tests.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/lisp/emacs-lisp/comp-cstr-tests.el b/test/lisp/emacs-lisp/comp-cstr-tests.el index 834f4401d9f..1e1376b363b 100644 --- a/test/lisp/emacs-lisp/comp-cstr-tests.el +++ b/test/lisp/emacs-lisp/comp-cstr-tests.el @@ -203,7 +203,11 @@ ;; 81 ((and t (not t)) . nil) ;; 82 - ((or (integer 1 1) (not (integer 1 1))) . t)) + ((or (integer 1 1) (not (integer 1 1))) . t) + ;; 83 + ((not t) . nil) + ;; 84 + ((not nil) . t)) "Alist type specifier -> expected type specifier.")) (defmacro comp-cstr-synthesize-tests () |