diff options
| author | Andrea Corallo <akrl@sdf.org> | 2021-01-04 22:04:29 +0100 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2021-01-04 22:31:40 +0100 |
| commit | 5074447ef4980e2eb613e908e346fd3471f52139 (patch) | |
| tree | c6d1f26b0527843bd85053e443567c6552988a76 /test/lisp/emacs-lisp | |
| parent | a3f2373bfb604af5570c86b4ffefb23296a5bfdd (diff) | |
| download | emacs-5074447ef4980e2eb613e908e346fd3471f52139.tar.gz emacs-5074447ef4980e2eb613e908e346fd3471f52139.tar.bz2 emacs-5074447ef4980e2eb613e908e346fd3471f52139.zip | |
Fix type inference for bug#45635
* lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1-no-mem): Fix
missing mixed pos neg handling.
* test/lisp/emacs-lisp/comp-cstr-tests.el
(comp-cstr-typespec-tests-alist): Add a test.
* test/src/comp-tests.el (45635): New testcase.
* test/src/comp-test-funcs.el (comp-test-45635-f): New function.
Diffstat (limited to 'test/lisp/emacs-lisp')
| -rw-r--r-- | test/lisp/emacs-lisp/comp-cstr-tests.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/lisp/emacs-lisp/comp-cstr-tests.el b/test/lisp/emacs-lisp/comp-cstr-tests.el index 1e1376b363b..149afaf85d8 100644 --- a/test/lisp/emacs-lisp/comp-cstr-tests.el +++ b/test/lisp/emacs-lisp/comp-cstr-tests.el @@ -207,7 +207,9 @@ ;; 83 ((not t) . nil) ;; 84 - ((not nil) . t)) + ((not nil) . t) + ;; 85 + ((or (not string) t) . t)) "Alist type specifier -> expected type specifier.")) (defmacro comp-cstr-synthesize-tests () |