mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-01-04 11:00:45 -08:00
Code Issues Projects Releases Wiki Activity

* Redefine `comp-cstr-shallow-copy'

Browse source 
* lisp/emacs-lisp/comp-cstr.el (comp-cstr): Don't synthesize copier
function.
(comp-cstr-shallow-copy): New function.
(comp-cstr-=): Use `copy-sequence'.
This commit is contained in:
Andrea Corallo 2021-12-01 14:39:33 +01:00
parent c35c86a353
commit f3284d5acd
1 changed files with 10 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

12
lisp/emacs-lisp/comp-cstr.el
View file

@ -70,7 +70,7 @@
(irange &aux
(range (list irange))
(typeset ())))
(:copier comp-cstr-shallow-copy))
(:copier nil))
"Internal representation of a type/value constraint."
(typeset '(t) :type list
:documentation "List of possible types the mvar can assume.
@ -133,6 +133,14 @@ Integer values are handled in the `range' slot.")
:range (copy-tree (range cstr))
:neg (neg cstr))))
(defsubst comp-cstr-shallow-copy (dst src)
"Copy the content of SRC into DST."
(with-comp-cstr-accessors
(setf (range dst) (range src)
(valset dst) (valset src)
(typeset dst) (typeset src)
(neg dst) (neg src))))
(defsubst comp-cstr-empty-p (cstr)
"Return t if CSTR is equivalent to the nil type specifier or nil otherwise."
(with-comp-cstr-accessors
@ -883,7 +891,7 @@ Non memoized version of `comp-cstr-intersection-no-mem'."
"Constraint OP1 being = OP2 setting the result into DST."
(with-comp-cstr-accessors
(cl-flet ((relax-cstr (cstr)
(setf cstr (comp-cstr-shallow-copy cstr))
(setf cstr (copy-sequence cstr))
;; If can be any float extend it to all integers.
(when (memq 'float (typeset cstr))
(setf (range cstr) '((- . +))))