diff options
| author | Andrea Corallo <akrl@sdf.org> | 2020-12-17 18:01:10 +0100 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2020-12-21 20:22:03 +0100 |
| commit | 8e816b0ad574a279b12a4d6622c6f224b67083b8 (patch) | |
| tree | 07c1e6b6a490cb348fc63e3ee031d390730c4f1e /lisp/emacs-lisp/comp-cstr.el | |
| parent | 07b75deea9febd2cb6fd4d3467e909df341e96fb (diff) | |
| download | emacs-8e816b0ad574a279b12a4d6622c6f224b67083b8.tar.gz emacs-8e816b0ad574a279b12a4d6622c6f224b67083b8.tar.bz2 emacs-8e816b0ad574a279b12a4d6622c6f224b67083b8.zip | |
Symplify type specifier (not t) as nil
* lisp/emacs-lisp/comp-cstr.el (comp-cstr-intersection-no-mem):
Add logic.
* test/lisp/emacs-lisp/comp-cstr-tests.el
(comp-cstr-typespec-tests-alist): Add two tests.
Diffstat (limited to 'lisp/emacs-lisp/comp-cstr.el')
| -rw-r--r-- | lisp/emacs-lisp/comp-cstr.el | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lisp/emacs-lisp/comp-cstr.el b/lisp/emacs-lisp/comp-cstr.el index 3f3f4f61451..cd8f432412c 100644 --- a/lisp/emacs-lisp/comp-cstr.el +++ b/lisp/emacs-lisp/comp-cstr.el @@ -598,6 +598,15 @@ DST is returned." (valset dst) (valset neg) (range dst) (range neg) (neg dst) t) + + ;; (not t) => nil + (when (and (null (valset dst)) + (null (range dst)) + (neg dst) + (equal '(t) (typeset dst))) + (setf (typeset dst) () + (neg dst) nil)) + (cl-return-from comp-cstr-intersection-no-mem dst)) (when (cl-some |