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.

diff --git a/lisp/emacs-lisp/comp-cstr.el b/lisp/emacs-lisp/comp-cstr.el
index 3f3f4f614516e82b2e18243b393cf97b54d43635..cd8f432412c3e0fafcea06673646754541bf04c2 100644 (file)
--- 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

diff --git a/test/lisp/emacs-lisp/comp-cstr-tests.el b/test/lisp/emacs-lisp/comp-cstr-tests.el
index 03bf78968f230e21218434725663f077528194b6..f7ea00e86f2a5640d39c0d52aa2d86dc6deb6521 100644 (file)
--- a/test/lisp/emacs-lisp/comp-cstr-tests.el
+++ b/test/lisp/emacs-lisp/comp-cstr-tests.el
@@ -195,7 +195,11 @@
     ;; 77
     ((and (or symbol string) (or number marker)) . nil)
     ;; 78
-    ((and t t) . t))
+    ((and t t) . t)
+    ;; 80
+    ((and (or marker number) (integer 0 0)) . (integer 0 0))
+    ;; 81
+    ((and t (not t)) . nil))
   "Alist type specifier -> expected type specifier.")
 
 (defmacro comp-cstr-synthesize-tests ()