diff options
| author | Andrea Corallo <akrl@sdf.org> | 2020-12-29 13:29:02 +0100 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2020-12-29 17:49:30 +0100 |
| commit | c4efb49a27f05284d28eac7f60b28495c68f63fb (patch) | |
| tree | 0d80e074e33c9cbfbbbdca07dbfe27da861f89bc /test/lisp/emacs-lisp | |
| parent | e83c6994e1f2553634e0877e86a8ebaa19fbc5d1 (diff) | |
| download | emacs-c4efb49a27f05284d28eac7f60b28495c68f63fb.tar.gz emacs-c4efb49a27f05284d28eac7f60b28495c68f63fb.tar.bz2 emacs-c4efb49a27f05284d28eac7f60b28495c68f63fb.zip | |
Constrain mvars under compare and branch with built-in predicates
* lisp/emacs-lisp/comp.el (comp-emit-assume): Update.
(comp-known-predicate-p): New function.
(comp-add-cond-cstrs): Extend to pattern match predicate calls.
* lisp/emacs-lisp/comp-cstr.el (comp-cstr-null-p)
(comp-pred-to-cstr): New function.
* test/src/comp-tests.el (comp-tests-type-spec-tests): Add a
number of tests and fix comments.
Diffstat (limited to 'test/lisp/emacs-lisp')
0 files changed, 0 insertions, 0 deletions