diff options
author | Andrea Corallo <akrl@sdf.org> | 2020-12-16 18:41:18 +0100 |
---|---|---|
committer | Andrea Corallo <akrl@sdf.org> | 2020-12-21 20:21:33 +0100 |
commit | 48d43f579e3d2f7e1423f315d537b51de51ea6a4 (patch) | |
tree | b195e6c4d9f25b55188837086b0af6245e42ac60 /test/lisp/emacs-lisp/bytecomp-resources | |
parent | a0c0daf7a1059fac432f9507cbd198682d057ee5 (diff) | |
download | emacs-48d43f579e3d2f7e1423f315d537b51de51ea6a4.tar.gz emacs-48d43f579e3d2f7e1423f315d537b51de51ea6a4.tar.bz2 emacs-48d43f579e3d2f7e1423f315d537b51de51ea6a4.zip |
* Improve constraint simplification logic in comp-cstr.el
* lisp/emacs-lisp/comp-cstr.el (with-comp-cstr-accessors):
Simplify.
(comp-cstr-empty-p): New Funchion.
(comp-split-pos-neg): Minor.
(comp-normalize-typeset): Logic update.
(comp-union-typesets): Minor.
(comp-intersect-two-typesets): New functio.
(comp-intersect-typesets): Logic update.
(comp-range-union, comp-range-intersection): Minor.
(comp-cstr-union-homogeneous, comp-cstr-union-1-no-mem)
(comp-cstr-intersection-homogeneous)
(comp-cstr-intersection-no-mem, comp-cstr-negation)
(comp-type-spec-to-cstr, comp-cstr-to-type-spec): Logic update.
* lisp/emacs-lisp/comp-cstr.el (with-comp-cstr-accessors): Simplify.
Diffstat (limited to 'test/lisp/emacs-lisp/bytecomp-resources')
0 files changed, 0 insertions, 0 deletions