procyberian/emacs
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Symplify type specifier (not t) as nil

Browse source 
* 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.
This commit is contained in:
Andrea Corallo 2020-12-17 18:01:10 +01:00
parent 07b75deea9
commit 8e816b0ad5
2 changed files with 14 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
test/lisp/emacs-lisp/comp-cstr-tests.el
View file

@ -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 ()