summaryrefslogtreecommitdiff
path: root/lisp/emacs-lisp/comp-cstr.el
Commit message (Expand)AuthorAgeFilesLines
...
* * Memoize `comp-cstr-union-1'Andrea Corallo2020-12-051-7/+42
* More improvements to `comp-cstr-union-1' for mixed positive/negative casesAndrea Corallo2020-12-051-34/+54
* * Fix `comp-cstr-to-type-spec'Andrea Corallo2020-12-051-41/+44
* Fix union of homogeneously negated input constraintsAndrea Corallo2020-12-051-0/+2
* * Add `with-comp-cstr-accessors' macro.Andrea Corallo2020-12-051-79/+94
* Initial support for union of negated constraintsAndrea Corallo2020-12-051-15/+118
* * lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-no-range): Cosmetic.Andrea Corallo2020-12-051-20/+20
* Initial constraint negation supportAndrea Corallo2020-12-051-17/+48
* Add intersection support into comp-cstr.elAndrea Corallo2020-11-271-7/+73
* Add comp-cstr.el and comp-cstr-tests.elAndrea Corallo2020-11-261-0/+363