diff options
| author | Andrea Corallo <akrl@sdf.org> | 2021-04-27 22:43:12 +0200 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2021-04-27 22:58:41 +0200 |
| commit | 4e1e0b9decfa2c8cb90b91d619ca078412513ba5 (patch) | |
| tree | d735b589caae25ba342163604c3eef556d3d4798 /test/lisp/emacs-lisp | |
| parent | 2ab8d1ee3bd14a388ba3c3391257c337ad39c719 (diff) | |
| download | emacs-4e1e0b9decfa2c8cb90b91d619ca078412513ba5.tar.gz emacs-4e1e0b9decfa2c8cb90b91d619ca078412513ba5.tar.bz2 emacs-4e1e0b9decfa2c8cb90b91d619ca078412513ba5.zip | |
Have `comp-cstr-intersection-no-mem' intersect pos neg value sets
* lisp/emacs-lisp/comp-cstr.el (comp-cstr-intersection-no-mem):
intersect pos and neg value sets
* test/lisp/emacs-lisp/comp-cstr-tests.el
(comp-cstr-typespec-tests-alist): Add two tests and fix some
test number.
Diffstat (limited to 'test/lisp/emacs-lisp')
| -rw-r--r-- | test/lisp/emacs-lisp/comp-cstr-tests.el | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/test/lisp/emacs-lisp/comp-cstr-tests.el b/test/lisp/emacs-lisp/comp-cstr-tests.el index 2e4628522f4..59e1b6982e1 100644 --- a/test/lisp/emacs-lisp/comp-cstr-tests.el +++ b/test/lisp/emacs-lisp/comp-cstr-tests.el @@ -198,22 +198,26 @@ ((and (or symbol string) (or number marker)) . nil) ;; 78 ((and t t) . t) - ;; 80 + ;; 79 ((and (or marker number) (integer 0 0)) . (integer 0 0)) - ;; 81 + ;; 80 ((and t (not t)) . nil) - ;; 82 + ;; 81 ((or (integer 1 1) (not (integer 1 1))) . t) - ;; 83 + ;; 82 ((not t) . nil) - ;; 84 + ;; 83 ((not nil) . t) - ;; 85 + ;; 84 ((or (not string) t) . t) - ;; 86 + ;; 85 ((or (not vector) sequence) . sequence) + ;; 86 + ((or (not symbol) null) . t) ;; 87 - ((or (not symbol) null) . t)) + ((and (or null integer) (not (or null integer))) . nil) + ;; 88 + ((and (or (member a b c)) (not (or (member a b)))) . (member c))) "Alist type specifier -> expected type specifier.")) (defmacro comp-cstr-synthesize-tests () |