diff options
| author | Andrea Corallo <akrl@sdf.org> | 2020-11-12 17:27:31 +0100 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2020-11-14 22:06:31 +0100 |
| commit | a467fa5c499c5808c6886d0d71640c1352498db8 (patch) | |
| tree | 8598297c02ea47a64d9e777ef09f7db66bbce509 /test/lisp/emacs-lisp/cl-seq-tests.el | |
| parent | 9bb2fc1e647bb74fd37a62c0b2f35c8eb4f8eece (diff) | |
| download | emacs-a467fa5c499c5808c6886d0d71640c1352498db8.tar.gz emacs-a467fa5c499c5808c6886d0d71640c1352498db8.tar.bz2 emacs-a467fa5c499c5808c6886d0d71640c1352498db8.zip | |
Characterize functions in terms of type specifiers
* lisp/emacs-lisp/comp.el (comp-known-type-specifiers): New const
in place of `comp-known-ret-types' and `comp-known-ret-ranges'.
(comp-constraint): New struct to separate the constraint side of
an mvar.
(comp-constraint-f): Analogous for functions.
(comp-mvar): Rework and include `comp-constraint'.
(comp-type-spec-to-constraint): New function.
(comp-known-constraints-h): New const.
(comp-func-ret-typeset, comp-func-ret-range): Rework.
(comp-fwprop-insn): Fix.
* test/src/comp-tests.el (destructure-type-spec): New testcase.
Diffstat (limited to 'test/lisp/emacs-lisp/cl-seq-tests.el')
0 files changed, 0 insertions, 0 deletions