From: Andrea Corallo <acorallo@gnu.org>
Date: Wed, 20 Mar 2024 10:49:32 +0000 (+0100)
Subject: ; * lisp/emacs-lisp/comp-cstr.el (comp--normalize-typeset0): Fix comment.
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=06805561ddd6a5ec8f04e17baa30c751544d9df6;p=emacs.git

; * lisp/emacs-lisp/comp-cstr.el (comp--normalize-typeset0): Fix comment.

(cherry picked from commit e8d2bc75314262d512d367c270c6d43201ef533f)
---

diff --git a/lisp/emacs-lisp/comp-cstr.el b/lisp/emacs-lisp/comp-cstr.el
index 70456a70de1..cbfb9540f03 100644
--- a/lisp/emacs-lisp/comp-cstr.el
+++ b/lisp/emacs-lisp/comp-cstr.el
@@ -288,13 +288,10 @@ Return them as multiple value."
                             (apply #'append
                                    (mapcar #'comp--direct-supertypes typeset)))
                 for subs = (comp--direct-subtypes sup)
-                when (and (length> subs 1) ;;FIXME: Why?
-                          ;; Every subtype of `sup` is a subtype of
-                          ;; some element of `typeset`?
-                          ;; It's tempting to just check (member x typeset),
-                          ;; but think of the typeset (marker number),
-                          ;; where `sup' is `integer-or-marker' and `sub'
-                          ;; is `integer'.
+                when (and (length> subs 1) ;; If there's only one sub do
+                                           ;; nothing as we want to
+                                           ;; return the most specific
+                                           ;; type.
                           (cl-every (lambda (sub)
                                       (cl-some (lambda (type)
                                                  (comp-subtype-p sub type))