]> git.eshelyaron.com Git - emacs.git/commit
Fix = propagation semantic for constrained inputs
authorAndrea Corallo <akrl@sdf.org>
Tue, 2 Mar 2021 07:43:39 +0000 (08:43 +0100)
committerAndrea Corallo <akrl@sdf.org>
Tue, 2 Mar 2021 13:36:09 +0000 (14:36 +0100)
commit8c7228e8cde9a33f8128933f991f6432e58cfde3
tree5667a439dc918805f0a0e541e46847eddd656614
parent3d014e1bf48f661f0b229ddf735608ff0ba7cfe6
Fix = propagation semantic for constrained inputs

* lisp/emacs-lisp/comp-cstr.el (comp-cstr): Synthesize
`comp-cstr-shallow-copy'.
(comp-cstr-=): Relax inputs before intersecting them.
* test/src/comp-tests.el (comp-tests-type-spec-tests): Add three
tests.
lisp/emacs-lisp/comp-cstr.el
test/src/comp-tests.el