From d6227f6edcff7be05469e99da4ce541bfc474c3d Mon Sep 17 00:00:00 2001 From: Andrea Corallo Date: Mon, 22 Feb 2021 13:58:30 +0100 Subject: * Fix union constraint for mixed pos/neg constraints * lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1-no-mem): Fix neg type shadowing pos values. * test/lisp/emacs-lisp/comp-cstr-tests.el (comp-cstr-typespec-tests-alist): Add testcase. * test/src/comp-tests.el (comp-tests-type-spec-tests): Fix testcase. --- test/lisp/emacs-lisp/comp-cstr-tests.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'test/lisp/emacs-lisp') diff --git a/test/lisp/emacs-lisp/comp-cstr-tests.el b/test/lisp/emacs-lisp/comp-cstr-tests.el index b4db54666c7..f2d9bf583e5 100644 --- a/test/lisp/emacs-lisp/comp-cstr-tests.el +++ b/test/lisp/emacs-lisp/comp-cstr-tests.el @@ -211,7 +211,9 @@ ;; 85 ((or (not string) t) . t) ;; 86 - ((or (not vector) sequence) . sequence)) + ((or (not vector) sequence) . sequence) + ;; 87 + ((or (not symbol) null) . t)) "Alist type specifier -> expected type specifier.")) (defmacro comp-cstr-synthesize-tests () -- cgit v1.2.3