]> git.eshelyaron.com Git - emacs.git/commitdiff
* lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-no-range): Cosmetic.
authorAndrea Corallo <akrl@sdf.org>
Wed, 2 Dec 2020 21:45:00 +0000 (22:45 +0100)
committerAndrea Corallo <akrl@sdf.org>
Sat, 5 Dec 2020 18:01:03 +0000 (19:01 +0100)
lisp/emacs-lisp/comp-cstr.el

index dcf835bb7b1300d31d561219649461640ddf625c..6397bccdae59c8937c69c6f3cff8baf531570492 100644 (file)
@@ -256,26 +256,26 @@ Integer values are handled in the `range' slot.")
 
 (defun comp-cstr-union-no-range (dst &rest srcs)
   "As `comp-cstr-union' but escluding the irange component."
-  (let ((values (mapcar #'comp-cstr-valset srcs)))
-
-    ;; Type propagation.
-    (setf (comp-cstr-typeset dst)
-          (apply #'comp-union-typesets (mapcar #'comp-cstr-typeset srcs)))
-
-    ;; Value propagation.
-    (setf (comp-cstr-valset dst)
-          (cl-loop
-           ;; TODO sort.
-           for v in (cl-remove-duplicates (apply #'append values)
-                                          :test #'equal)
-           ;; We propagate only values those types are not already
-           ;; into typeset.
-           when (cl-notany (lambda (x)
-                             (comp-subtype-p (type-of v) x))
-                           (comp-cstr-typeset dst))
-           collect v))
-
-    dst))
+
+  ;; Type propagation.
+  (setf (comp-cstr-typeset dst)
+        (apply #'comp-union-typesets (mapcar #'comp-cstr-typeset srcs)))
+
+  ;; Value propagation.
+  (setf (comp-cstr-valset dst)
+        (cl-loop
+         with values = (mapcar #'comp-cstr-valset srcs)
+         ;; TODO sort.
+         for v in (cl-remove-duplicates (apply #'append values)
+                                        :test #'equal)
+         ;; We propagate only values those types are not already
+         ;; into typeset.
+         when (cl-notany (lambda (x)
+                           (comp-subtype-p (type-of v) x))
+                         (comp-cstr-typeset dst))
+         collect v))
+
+  dst)
 
 (defun comp-cstr-union (dst &rest srcs)
   "Combine SRCS by union set operation setting the result in DST.