GNU logs - #65092, boring messages


Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#65092: 30.0.50; C-h f shows malformed description for vc-mode
Resent-From: Eshel Yaron <me@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sat, 05 Aug 2023 11:26:02 +0000
Resent-Message-ID: <handler.65092.B.169123472723379 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 65092
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: 65092 <at> debbugs.gnu.org
X-Debbugs-Original-To: bug-gnu-emacs@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.169123472723379
          (code B ref -1); Sat, 05 Aug 2023 11:26:02 +0000
Received: (at submit) by debbugs.gnu.org; 5 Aug 2023 11:25:27 +0000
Received: from localhost ([127.0.0.1]:55923 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qSFPS-000651-SI
	for submit <at> debbugs.gnu.org; Sat, 05 Aug 2023 07:25:27 -0400
Received: from lists.gnu.org ([2001:470:142::17]:52962)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <me@HIDDEN>) id 1qSFPP-00064j-MC
 for submit <at> debbugs.gnu.org; Sat, 05 Aug 2023 07:25:26 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@HIDDEN>) id 1qSFPK-0006DJ-DK
 for bug-gnu-emacs@HIDDEN; Sat, 05 Aug 2023 07:25:18 -0400
Received: from mail.eshelyaron.com ([107.175.124.16] helo=eshelyaron.com)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@HIDDEN>) id 1qSFPI-0002Sn-Ob
 for bug-gnu-emacs@HIDDEN; Sat, 05 Aug 2023 07:25:18 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=eshelyaron.com;
 s=mail; t=1691234715;
 bh=eWTBiwU5dNK9x9XMmYVNQzDTHgUQai3TdPcV7ZYWljQ=;
 h=From:To:Subject:Date:From;
 b=cLHz2uQpFwnR5SZ3lmHp51JsAyaF9LJL9p4XnI19tbkEXJrVJdteXfb6yTskde8IQ
 7EERm5V2MCA/rFZv4HzVWGK79kwhZKYH7aVF4ZBhla0WfRck/qMeGiW96T16fo9Em0
 kljSDuIU9wLscgNPQb4s9zbk8CHAdw0zk0islWQvPd7tTgShmgH6vW774QiV3mJqzb
 1HV5AZ1g/jYcnoL+uI4wVuQy3QLIpYnIJBcKUWiczeaQFp6BWY5jGR45SNqID3CG5Y
 zsWGT42xsBRQICjK1Cm5iMt5YtloHfIWwTqLOqAWUb4V8+n7D/BQvmXg3xuaxt4YVc
 bX2K+vEd77OFg==
From: Eshel Yaron <me@HIDDEN>
Date: Sat, 05 Aug 2023 14:25:11 +0300
Message-ID: <m1sf8xn33c.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Received-SPF: pass client-ip=107.175.124.16; envelope-from=me@HIDDEN;
 helo=eshelyaron.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.9 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.1 (/)


I seems to have stumbled upon an issue with type inference on the master
branch that causes `describe-function` to display the following
malformed description for the function `vc-mode`:

    vc-mode is a native-compiled Lisp function in =E2=80=98vc-hooks.el=E2=
=80=99.

    (vc-mode &optional ARG)

    Inferred type: (function (&optional t) (member Version Control minor
    mode.  This minor mode is automatically activated whenever you visit a
    file under control of one of the revision control systems in
    `vc-handled-backends'.  VC commands are globally reachable under the
    prefix `\[vc-prefix-map]': \{vc-prefix-map}))

    Version Control minor mode.
    This minor mode is automatically activated whenever you...

To reproduce, do `C-h f vc-mode RET` in `emacs -Q`.

Basically, it looks like the inferred type somehow includes the
function's docstring verbatim:

--8<---------------cut here---------------start------------->8---
(comp-function-type-spec 'vc-mode)
=3D> ((function (&optional t) (member "Version Control minor mode.
This minor mode is automatically activated whenever you visit a file under
control of one of the revision control systems in `vc-handled-backends'.
VC commands are globally reachable under the prefix `\\[vc-prefix-map]':
\\{vc-prefix-map}")) . inferred)
--8<---------------cut here---------------end--------------->8---




In GNU Emacs 30.0.50 (build 3, x86_64-apple-darwin22.5.0, NS
 appkit-2299.60 Version 13.4 (Build 22F66)) of 2023-08-03 built on
 Dazzs-MBP
Repository revision: 7b30e11b2ac5cd360db7ee8b6aed07bd918b93a2
Repository branch: master
Windowing system distributor 'Apple', version 10.3.2299
System Description:  macOS 13.4

Configured using:
 'configure 'CFLAGS=3D-g0 -O3' --with-native-compilation --with-json
 --with-imagemagick --with-tree-sitter --enable-link-time-optimization'

Configured features:
ACL DBUS GIF GMP GNUTLS IMAGEMAGICK JPEG JSON LCMS2 LIBXML2 MODULES
NATIVE_COMP NOTIFY KQUEUE NS PDUMPER PNG SQLITE3 THREADS TIFF
TOOLKIT_SCROLL_BARS TREE_SITTER WEBP XIM ZLIB

Important settings:
  value of $LANG: en_US.UTF-8
  locale-coding-system: utf-8-unix

Major mode: Help

Minor modes in effect:
  tooltip-mode: t
  global-eldoc-mode: t
  show-paren-mode: t
  electric-indent-mode: t
  mouse-wheel-mode: t
  tool-bar-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  isearch-fold-quotes-mode: t
  global-font-lock-mode: t
  font-lock-mode: t
  blink-cursor-mode: t
  buffer-read-only: t
  line-number-mode: t
  indent-tabs-mode: t
  transient-mark-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t

Load-path shadows:
None found.

Features:
(shadow sort mail-extr emacsbug message mailcap yank-media puny dired
dired-loaddefs rfc822 mml mml-sec password-cache epa derived epg rfc6068
epg-config gnus-util mm-decode mm-bodies mm-encode mail-parse rfc2231
mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums
mm-util mail-prsvr mail-utils time-date shortdoc vc-annotate vc-dir ewoc
vc vc-filewise vc-git diff-mode easy-mmode vc-dispatcher compile
text-property-search comint ansi-osc ansi-color ring comp comp-cstr
warnings icons subr-x rx cl-seq cl-macs gv cl-extra bytecomp
byte-compile thingatpt help-fns radix-tree help-mode cl-loaddefs cl-lib
rmc iso-transl tooltip cconv eldoc paren electric uniquify ediff-hook
vc-hooks lisp-float-type elisp-mode mwheel term/ns-win ns-win
ucs-normalize mule-util term/common-win tool-bar dnd fontset image
regexp-opt fringe tabulated-list replace newcomment text-mode lisp-mode
prog-mode register page tab-bar menu-bar rfn-eshadow isearch easymenu
timer select scroll-bar mouse jit-lock font-lock syntax font-core
term/tty-colors frame minibuffer nadvice seq simple cl-generic
indonesian philippine cham georgian utf-8-lang misc-lang vietnamese
tibetan thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek
romanian slovak czech european ethiopic indian cyrillic chinese
composite emoji-zwj charscript charprop case-table epa-hook
jka-cmpr-hook help abbrev obarray oclosure cl-preloaded button loaddefs
theme-loaddefs faces cus-face macroexp files window text-properties
overlay sha1 md5 base64 format env code-pages mule custom widget keymap
hashtable-print-readable backquote threads dbusbind kqueue cocoa ns
lcms2 multi-tty make-network-process native-compile emacs)

Memory information:
((conses 16 117625 14245) (symbols 48 8927 0) (strings 32 28340 1637)
 (string-bytes 1 843928) (vectors 16 20095)
 (vector-slots 8 394629 13087) (floats 8 92 641) (intervals 56 470 0)
 (buffers 984 13))




Message sent:


Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Eshel Yaron <me@HIDDEN>
Subject: bug#65092: Acknowledgement (30.0.50; C-h f shows malformed
 description for vc-mode)
Message-ID: <handler.65092.B.169123472723379.ack <at> debbugs.gnu.org>
References: <m1sf8xn33c.fsf@HIDDEN>
X-Gnu-PR-Message: ack 65092
X-Gnu-PR-Package: emacs
Reply-To: 65092 <at> debbugs.gnu.org
Date: Sat, 05 Aug 2023 11:26:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 65092 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
65092: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D65092
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems


Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#65092: 30.0.50; C-h f shows malformed description for vc-mode
Resent-From: Eli Zaretskii <eliz@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sat, 05 Aug 2023 11:50:02 +0000
Resent-Message-ID: <handler.65092.B65092.16912361993684 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 65092
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Eshel Yaron <me@HIDDEN>, Andrea Corallo <acorallo@HIDDEN>
Cc: 65092 <at> debbugs.gnu.org
Received: via spool by 65092-submit <at> debbugs.gnu.org id=B65092.16912361993684
          (code B ref 65092); Sat, 05 Aug 2023 11:50:02 +0000
Received: (at 65092) by debbugs.gnu.org; 5 Aug 2023 11:49:59 +0000
Received: from localhost ([127.0.0.1]:55988 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qSFnD-0000xM-0Q
	for submit <at> debbugs.gnu.org; Sat, 05 Aug 2023 07:49:59 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:40446)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eliz@HIDDEN>) id 1qSFnA-0000x9-LB
 for 65092 <at> debbugs.gnu.org; Sat, 05 Aug 2023 07:49:58 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <eliz@HIDDEN>)
 id 1qSFn5-0006dl-5u; Sat, 05 Aug 2023 07:49:51 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
 s=fencepost-gnu-org; h=MIME-version:References:Subject:In-Reply-To:To:From:
 Date; bh=pTIjjNKQOwpjKaNvxPnz5ZzMLm+xItkgBpMQTSxt9mI=; b=pcZUD+YtRiL3ZRecp59e
 TjbRqkFfs5vzpT+iE2Eow8VTL3uCNGehKnDeVHoA3nZMavUjfcyfgJ7thKugxrlje7GmLojSgGBo+
 kyYzHyV14t+26ZWAEPKLL2LfAq8qrFDuhD1rX1U+Un5HNNPzTV7Dqb+WlR92rrSBN23YJMHYVIkPw
 z1yyg5JO3wEMgfbda2qi/5FwOjYrjv0vvnfimpW3y07TL8AMJBo/KAfReY05pkcR6HPK0tzoirdH9
 EwIAK2bTtDDJz+ENgTGjAW1FA/Av0w4znGK7oKq+IijmcVeT9ytWRcwanoUfGUIjoLzEZwhcii7iN
 1NT+Gm+0KIPNGA==;
Received: from [87.69.77.57] (helo=home-c4e4a596f7)
 by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <eliz@HIDDEN>)
 id 1qSFn4-0001Jp-KQ; Sat, 05 Aug 2023 07:49:50 -0400
Date: Sat, 05 Aug 2023 14:50:04 +0300
Message-Id: <83o7jlso7n.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
In-Reply-To: <m1sf8xn33c.fsf@HIDDEN> (bug-gnu-emacs@HIDDEN)
References: <m1sf8xn33c.fsf@HIDDEN>
MIME-version: 1.0
Content-type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

> Date: Sat, 05 Aug 2023 14:25:11 +0300
> From:  Eshel Yaron via "Bug reports for GNU Emacs,
>  the Swiss army knife of text editors" <bug-gnu-emacs@HIDDEN>
> 
> 
> I seems to have stumbled upon an issue with type inference on the master
> branch that causes `describe-function` to display the following
> malformed description for the function `vc-mode`:
> 
>     vc-mode is a native-compiled Lisp function in ‘vc-hooks.el’.
> 
>     (vc-mode &optional ARG)
> 
>     Inferred type: (function (&optional t) (member Version Control minor
>     mode.  This minor mode is automatically activated whenever you visit a
>     file under control of one of the revision control systems in
>     `vc-handled-backends'.  VC commands are globally reachable under the
>     prefix `\[vc-prefix-map]': \{vc-prefix-map}))
> 
>     Version Control minor mode.
>     This minor mode is automatically activated whenever you...
> 
> To reproduce, do `C-h f vc-mode RET` in `emacs -Q`.
> 
> Basically, it looks like the inferred type somehow includes the
> function's docstring verbatim:
> 
> --8<---------------cut here---------------start------------->8---
> (comp-function-type-spec 'vc-mode)
> => ((function (&optional t) (member "Version Control minor mode.
> This minor mode is automatically activated whenever you visit a file under
> control of one of the revision control systems in `vc-handled-backends'.
> VC commands are globally reachable under the prefix `\\[vc-prefix-map]':
> \\{vc-prefix-map}")) . inferred)
> --8<---------------cut here---------------end--------------->8---

Probably because vc-mode is a "dummy function", whatever that means.
IOW, we are shooting ourselves in the foot, it seems like.

Adding Andrea.




Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#65092: 30.0.50; C-h f shows malformed description for vc-mode
Resent-From: Stefan Monnier <monnier@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 25 Feb 2024 18:41:02 +0000
Resent-Message-ID: <handler.65092.B65092.17088864324552 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 65092
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Eshel Yaron <me@HIDDEN>
Cc: 65092 <at> debbugs.gnu.org
Received: via spool by 65092-submit <at> debbugs.gnu.org id=B65092.17088864324552
          (code B ref 65092); Sun, 25 Feb 2024 18:41:02 +0000
Received: (at 65092) by debbugs.gnu.org; 25 Feb 2024 18:40:32 +0000
Received: from localhost ([127.0.0.1]:37962 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1reJQM-0001BB-La
	for submit <at> debbugs.gnu.org; Sun, 25 Feb 2024 13:40:31 -0500
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:15048)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1reJ77-0000Cc-SY
 for 65092 <at> debbugs.gnu.org; Sun, 25 Feb 2024 13:20:38 -0500
Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 09015441FD7;
 Sun, 25 Feb 2024 13:20:06 -0500 (EST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1708885204;
 bh=RS21QRFFSvtxBJLWYtMgpBUFsMMaouJGWoKuk8sjklE=;
 h=From:To:Cc:Subject:In-Reply-To:References:Date:From;
 b=CyJHnGr1AZw9dwUut0WT8rgxqUHnNxUKXEhz8+w0kP/34guORdc+r9XOv2HQh+A3c
 fkK92qPMTHIeNXmGODDgw93V7ZDPw2//OxqpJ6CB+fFDJm31lt+cx8+7e1ZEr1nb6P
 r/92kk8LGwZlaoi5ibhWHvB+jPUnunyfD0Z5fqI+bOHzeoLIHoHJGzSigGtqH0fP7O
 Fx3ghpqQvCAj2Co+tb9aDcXarnnP5jVTDfsZbwNnTLICIV226UZDKsR2GLRwl2PuPD
 0btjEfJIlR1UxvR2qVv6GoqjivwVe8DwmYVC6INerNdtsfrVjw9T9/Ur6IWrgC5KFw
 txoVzQoglU/Jg==
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 80C3B441D73;
 Sun, 25 Feb 2024 13:20:04 -0500 (EST)
Received: from alfajor (unknown [45.72.205.238])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 5D3A51203FF;
 Sun, 25 Feb 2024 13:20:04 -0500 (EST)
From: Stefan Monnier <monnier@HIDDEN>
In-Reply-To: <m1sf8xn33c.fsf@HIDDEN> (Eshel Yaron's message of "Sat,
 05 Aug 2023 14:25:11 +0300")
Message-ID: <jwv1q90qufd.fsf-monnier+emacs@HIDDEN>
References: <m1sf8xn33c.fsf@HIDDEN>
Date: Sun, 25 Feb 2024 13:20:03 -0500
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-SPAM-INFO: Spam detection results:  0
 ALL_TRUSTED                -1 Passed through trusted hosts only via SMTP
 AWL 0.001 Adjusted score from AWL reputation of From: address
 BAYES_00                 -1.9 Bayes spam probability is 0 to 1%
 DKIM_SIGNED               0.1 Message has a DKIM or DK signature,
 not necessarily valid
 DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature
 DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's
 domain
 DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from
 domain T_SCC_BODY_TEXT_LINE    -0.01 -
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

> I seems to have stumbled upon an issue with type inference on the master
> branch that causes `describe-function` to display the following
> malformed description for the function `vc-mode`:
>
>     vc-mode is a native-compiled Lisp function in =E2=80=98vc-hooks.el=E2=
=80=99.
>
>     (vc-mode &optional ARG)
>
>     Inferred type: (function (&optional t) (member Version Control minor
>     mode.  This minor mode is automatically activated whenever you visit a
>     file under control of one of the revision control systems in
>     `vc-handled-backends'.  VC commands are globally reachable under the
>     prefix `\[vc-prefix-map]': \{vc-prefix-map}))
>
>     Version Control minor mode.
>     This minor mode is automatically activated whenever you...
>
> To reproduce, do `C-h f vc-mode RET` in `emacs -Q`.
>
> Basically, it looks like the inferred type somehow includes the
> function's docstring verbatim:
>
> --8<---------------cut here---------------start------------->8---
> (comp-function-type-spec 'vc-mode)
> =3D> ((function (&optional t) (member "Version Control minor mode.
> This minor mode is automatically activated whenever you visit a file under
> control of one of the revision control systems in `vc-handled-backends'.
> VC commands are globally reachable under the prefix `\\[vc-prefix-map]':
> \\{vc-prefix-map}")) . inferred)
> --8<---------------cut here---------------end--------------->8---

This output is actually "correct" =F0=9F=99=81
I've just pushed a fix for it in `master` by giving an actual body to
the function, in addition to its doc string.


        Stefan





Message sent:


MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Sean Whitton <spwhitton@HIDDEN>
Subject: bug#65092: closed (30.0.50; C-h f shows malformed description for
 vc-mode)
CC: tracker <at> debbugs.gnu.org
Message-ID: <handler.65092.D65092.174192584816845.ackdone <at> debbugs.gnu.org>
References: <87ldt81c1e.fsf@HIDDEN>
 <m1sf8xn33c.fsf@HIDDEN>
X-Gnu-PR-Message: closed 65092
X-Gnu-PR-Package: emacs
Date: Fri, 14 Mar 2025 04:18:02 +0000
Content-Type: multipart/mixed; boundary="----------=_1741925882-16909-0"

This is a multi-part message in MIME format...

------------=_1741925882-16909-0
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset=utf-8

Your message dated Fri, 14 Mar 2025 12:17:17 +0800
with message-id <87ldt81c1e.fsf@HIDDEN>
and subject line Re: bug#65092: 30.0.50; C-h f shows malformed description =
for vc-mode
has caused the debbugs.gnu.org bug report #65092,
regarding 30.0.50; C-h f shows malformed description for vc-mode
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@HIDDEN)


--=20
65092: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D65092
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

------------=_1741925882-16909-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at submit) by debbugs.gnu.org; 5 Aug 2023 11:25:27 +0000
Received: from localhost ([127.0.0.1]:55923 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qSFPS-000651-SI
	for submit <at> debbugs.gnu.org; Sat, 05 Aug 2023 07:25:27 -0400
Received: from lists.gnu.org ([2001:470:142::17]:52962)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <me@HIDDEN>) id 1qSFPP-00064j-MC
 for submit <at> debbugs.gnu.org; Sat, 05 Aug 2023 07:25:26 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@HIDDEN>) id 1qSFPK-0006DJ-DK
 for bug-gnu-emacs@HIDDEN; Sat, 05 Aug 2023 07:25:18 -0400
Received: from mail.eshelyaron.com ([107.175.124.16] helo=eshelyaron.com)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@HIDDEN>) id 1qSFPI-0002Sn-Ob
 for bug-gnu-emacs@HIDDEN; Sat, 05 Aug 2023 07:25:18 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=eshelyaron.com;
 s=mail; t=1691234715;
 bh=eWTBiwU5dNK9x9XMmYVNQzDTHgUQai3TdPcV7ZYWljQ=;
 h=From:To:Subject:Date:From;
 b=cLHz2uQpFwnR5SZ3lmHp51JsAyaF9LJL9p4XnI19tbkEXJrVJdteXfb6yTskde8IQ
 7EERm5V2MCA/rFZv4HzVWGK79kwhZKYH7aVF4ZBhla0WfRck/qMeGiW96T16fo9Em0
 kljSDuIU9wLscgNPQb4s9zbk8CHAdw0zk0islWQvPd7tTgShmgH6vW774QiV3mJqzb
 1HV5AZ1g/jYcnoL+uI4wVuQy3QLIpYnIJBcKUWiczeaQFp6BWY5jGR45SNqID3CG5Y
 zsWGT42xsBRQICjK1Cm5iMt5YtloHfIWwTqLOqAWUb4V8+n7D/BQvmXg3xuaxt4YVc
 bX2K+vEd77OFg==
From: Eshel Yaron <me@HIDDEN>
To: bug-gnu-emacs@HIDDEN
Subject: 30.0.50; C-h f shows malformed description for vc-mode
Date: Sat, 05 Aug 2023 14:25:11 +0300
Message-ID: <m1sf8xn33c.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Received-SPF: pass client-ip=107.175.124.16; envelope-from=me@HIDDEN;
 helo=eshelyaron.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.9 (/)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.1 (/)


I seems to have stumbled upon an issue with type inference on the master
branch that causes `describe-function` to display the following
malformed description for the function `vc-mode`:

    vc-mode is a native-compiled Lisp function in =E2=80=98vc-hooks.el=E2=
=80=99.

    (vc-mode &optional ARG)

    Inferred type: (function (&optional t) (member Version Control minor
    mode.  This minor mode is automatically activated whenever you visit a
    file under control of one of the revision control systems in
    `vc-handled-backends'.  VC commands are globally reachable under the
    prefix `\[vc-prefix-map]': \{vc-prefix-map}))

    Version Control minor mode.
    This minor mode is automatically activated whenever you...

To reproduce, do `C-h f vc-mode RET` in `emacs -Q`.

Basically, it looks like the inferred type somehow includes the
function's docstring verbatim:

--8<---------------cut here---------------start------------->8---
(comp-function-type-spec 'vc-mode)
=3D> ((function (&optional t) (member "Version Control minor mode.
This minor mode is automatically activated whenever you visit a file under
control of one of the revision control systems in `vc-handled-backends'.
VC commands are globally reachable under the prefix `\\[vc-prefix-map]':
\\{vc-prefix-map}")) . inferred)
--8<---------------cut here---------------end--------------->8---




In GNU Emacs 30.0.50 (build 3, x86_64-apple-darwin22.5.0, NS
 appkit-2299.60 Version 13.4 (Build 22F66)) of 2023-08-03 built on
 Dazzs-MBP
Repository revision: 7b30e11b2ac5cd360db7ee8b6aed07bd918b93a2
Repository branch: master
Windowing system distributor 'Apple', version 10.3.2299
System Description:  macOS 13.4

Configured using:
 'configure 'CFLAGS=3D-g0 -O3' --with-native-compilation --with-json
 --with-imagemagick --with-tree-sitter --enable-link-time-optimization'

Configured features:
ACL DBUS GIF GMP GNUTLS IMAGEMAGICK JPEG JSON LCMS2 LIBXML2 MODULES
NATIVE_COMP NOTIFY KQUEUE NS PDUMPER PNG SQLITE3 THREADS TIFF
TOOLKIT_SCROLL_BARS TREE_SITTER WEBP XIM ZLIB

Important settings:
  value of $LANG: en_US.UTF-8
  locale-coding-system: utf-8-unix

Major mode: Help

Minor modes in effect:
  tooltip-mode: t
  global-eldoc-mode: t
  show-paren-mode: t
  electric-indent-mode: t
  mouse-wheel-mode: t
  tool-bar-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  isearch-fold-quotes-mode: t
  global-font-lock-mode: t
  font-lock-mode: t
  blink-cursor-mode: t
  buffer-read-only: t
  line-number-mode: t
  indent-tabs-mode: t
  transient-mark-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t

Load-path shadows:
None found.

Features:
(shadow sort mail-extr emacsbug message mailcap yank-media puny dired
dired-loaddefs rfc822 mml mml-sec password-cache epa derived epg rfc6068
epg-config gnus-util mm-decode mm-bodies mm-encode mail-parse rfc2231
mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums
mm-util mail-prsvr mail-utils time-date shortdoc vc-annotate vc-dir ewoc
vc vc-filewise vc-git diff-mode easy-mmode vc-dispatcher compile
text-property-search comint ansi-osc ansi-color ring comp comp-cstr
warnings icons subr-x rx cl-seq cl-macs gv cl-extra bytecomp
byte-compile thingatpt help-fns radix-tree help-mode cl-loaddefs cl-lib
rmc iso-transl tooltip cconv eldoc paren electric uniquify ediff-hook
vc-hooks lisp-float-type elisp-mode mwheel term/ns-win ns-win
ucs-normalize mule-util term/common-win tool-bar dnd fontset image
regexp-opt fringe tabulated-list replace newcomment text-mode lisp-mode
prog-mode register page tab-bar menu-bar rfn-eshadow isearch easymenu
timer select scroll-bar mouse jit-lock font-lock syntax font-core
term/tty-colors frame minibuffer nadvice seq simple cl-generic
indonesian philippine cham georgian utf-8-lang misc-lang vietnamese
tibetan thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek
romanian slovak czech european ethiopic indian cyrillic chinese
composite emoji-zwj charscript charprop case-table epa-hook
jka-cmpr-hook help abbrev obarray oclosure cl-preloaded button loaddefs
theme-loaddefs faces cus-face macroexp files window text-properties
overlay sha1 md5 base64 format env code-pages mule custom widget keymap
hashtable-print-readable backquote threads dbusbind kqueue cocoa ns
lcms2 multi-tty make-network-process native-compile emacs)

Memory information:
((conses 16 117625 14245) (symbols 48 8927 0) (strings 32 28340 1637)
 (string-bytes 1 843928) (vectors 16 20095)
 (vector-slots 8 394629 13087) (floats 8 92 641) (intervals 56 470 0)
 (buffers 984 13))



------------=_1741925882-16909-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at 65092-done) by debbugs.gnu.org; 14 Mar 2025 04:17:28 +0000
Received: from localhost ([127.0.0.1]:59322 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1tswUC-0004Nd-0r
	for submit <at> debbugs.gnu.org; Fri, 14 Mar 2025 00:17:28 -0400
Received: from sendmail.purelymail.com ([34.202.193.197]:60144)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <spwhitton@HIDDEN>)
 id 1tswUA-0004NL-Bq
 for 65092-done <at> debbugs.gnu.org; Fri, 14 Mar 2025 00:17:26 -0400
DKIM-Signature: a=rsa-sha256;
 b=Fp6sF+Vx+mPSadtMjAmlygp/qYzRO1cC35VYxz/SRaiFMI+Y9F6bxljTDoUD4S7pPMkYWisAF2l7hO6s4ti5DM5DP1zvtrAOcDXxrkIqTuTMNEwKLw0rRZnHaQFpJmJs2pAn7JTC0yzQtjsoyJsAsxU9fpEk9GVHg+vjwlGNgaEBFRjx6wZsEFz32SRhQdpoemF3v2p3QO6sbZew7y0SkiCAxEYHwLHVP4kzgW2OFOELB/EQeRrlL4w9U/x0gwxyOhd7Sq7aNAm+0BSTo5OBUhSjI80/3sl6DTjmIQoIzXPR9hdHoiL8nuHO+oEXl9+V9injgXWBK/E8Zq31flY5Aw==;
 s=purelymail1; d=spwhitton.name; v=1;
 bh=T0/xvHYziwj68ya/rzyLWcRZGskAa2vMteaQXPsoPqs=;
 h=Received:Received:From:To:Subject:Date; 
DKIM-Signature: a=rsa-sha256;
 b=yJ6d3JIyrzsm/ixT0HjErsLmtL+O10cP1DMUlYKfJ8mi3rfE+O0fsOWBZWc7PflWIyCnTFGVY71hiBieMYlvs98rTDoEbjMAEa1klHV2Rs2yx20CmWdKvGvrqGfdJ5/GuUlOCVMM+E9MBiH7pghZqdyztI8KDX/QcKal05Z9TznYsi/9DIZtZezHpp6+AAlZ79tabi/J3y68gTHLF/qyAq+VMRELfVcQ2t6VBNGpbAm5uqogCY7N80/ZAyB8GcLROHlFJpd6nUkDt67ZUSjxR2+7a4ql48U7Ms0gwX2VlbuYzYdpbREgkmXOleqI5vjp8mKyWj19od/IE4+xrdm6yA==;
 s=purelymail1; d=purelymail.com; v=1;
 bh=T0/xvHYziwj68ya/rzyLWcRZGskAa2vMteaQXPsoPqs=;
 h=Feedback-ID:Received:Received:From:To:Subject:Date; 
Feedback-ID: 20115:3760:null:purelymail
X-Pm-Original-To: 65092-done <at> debbugs.gnu.org
Received: by smtp.purelymail.com (Purelymail SMTP) with ESMTPSA id 392773066; 
 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384);
 Fri, 14 Mar 2025 04:17:20 +0000 (UTC)
Received: by melete.silentflame.com (Postfix, from userid 1000)
 id E154A7EE3EC; Fri, 14 Mar 2025 12:17:17 +0800 (CST)
From: Sean Whitton <spwhitton@HIDDEN>
To: Stefan Monnier <monnier@HIDDEN>, 65092-done <at> debbugs.gnu.org
Subject: Re: bug#65092: 30.0.50; C-h f shows malformed description for vc-mode
In-Reply-To: <jwv1q90qufd.fsf-monnier+emacs@HIDDEN>
References: <m1sf8xn33c.fsf@HIDDEN>
 <jwv1q90qufd.fsf-monnier+emacs@HIDDEN>
Date: Fri, 14 Mar 2025 12:17:17 +0800
Message-ID: <87ldt81c1e.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 65092-done
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Version: 31.1

Hello,

Confirmed fixed, thank you.

-- 
Sean Whitton


------------=_1741925882-16909-0--


Message sent:


MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Eshel Yaron <me@HIDDEN>
Subject: bug#65092: closed (Re: bug#65092: 30.0.50; C-h f shows malformed
 description for vc-mode)
Message-ID: <handler.65092.D65092.174192584816845.notifdone <at> debbugs.gnu.org>
References: <87ldt81c1e.fsf@HIDDEN>
 <m1sf8xn33c.fsf@HIDDEN>
X-Gnu-PR-Message: they-closed 65092
X-Gnu-PR-Package: emacs
Reply-To: 65092 <at> debbugs.gnu.org
Date: Fri, 14 Mar 2025 04:18:02 +0000
Content-Type: multipart/mixed; boundary="----------=_1741925882-16909-1"

This is a multi-part message in MIME format...

------------=_1741925882-16909-1
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="utf-8"

Your bug report

#65092: 30.0.50; C-h f shows malformed description for vc-mode

which was filed against the emacs package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 65092 <at> debbugs.gnu.org.

--=20
65092: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D65092
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

------------=_1741925882-16909-1
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at 65092-done) by debbugs.gnu.org; 14 Mar 2025 04:17:28 +0000
Received: from localhost ([127.0.0.1]:59322 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1tswUC-0004Nd-0r
	for submit <at> debbugs.gnu.org; Fri, 14 Mar 2025 00:17:28 -0400
Received: from sendmail.purelymail.com ([34.202.193.197]:60144)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <spwhitton@HIDDEN>)
 id 1tswUA-0004NL-Bq
 for 65092-done <at> debbugs.gnu.org; Fri, 14 Mar 2025 00:17:26 -0400
DKIM-Signature: a=rsa-sha256;
 b=Fp6sF+Vx+mPSadtMjAmlygp/qYzRO1cC35VYxz/SRaiFMI+Y9F6bxljTDoUD4S7pPMkYWisAF2l7hO6s4ti5DM5DP1zvtrAOcDXxrkIqTuTMNEwKLw0rRZnHaQFpJmJs2pAn7JTC0yzQtjsoyJsAsxU9fpEk9GVHg+vjwlGNgaEBFRjx6wZsEFz32SRhQdpoemF3v2p3QO6sbZew7y0SkiCAxEYHwLHVP4kzgW2OFOELB/EQeRrlL4w9U/x0gwxyOhd7Sq7aNAm+0BSTo5OBUhSjI80/3sl6DTjmIQoIzXPR9hdHoiL8nuHO+oEXl9+V9injgXWBK/E8Zq31flY5Aw==;
 s=purelymail1; d=spwhitton.name; v=1;
 bh=T0/xvHYziwj68ya/rzyLWcRZGskAa2vMteaQXPsoPqs=;
 h=Received:Received:From:To:Subject:Date; 
DKIM-Signature: a=rsa-sha256;
 b=yJ6d3JIyrzsm/ixT0HjErsLmtL+O10cP1DMUlYKfJ8mi3rfE+O0fsOWBZWc7PflWIyCnTFGVY71hiBieMYlvs98rTDoEbjMAEa1klHV2Rs2yx20CmWdKvGvrqGfdJ5/GuUlOCVMM+E9MBiH7pghZqdyztI8KDX/QcKal05Z9TznYsi/9DIZtZezHpp6+AAlZ79tabi/J3y68gTHLF/qyAq+VMRELfVcQ2t6VBNGpbAm5uqogCY7N80/ZAyB8GcLROHlFJpd6nUkDt67ZUSjxR2+7a4ql48U7Ms0gwX2VlbuYzYdpbREgkmXOleqI5vjp8mKyWj19od/IE4+xrdm6yA==;
 s=purelymail1; d=purelymail.com; v=1;
 bh=T0/xvHYziwj68ya/rzyLWcRZGskAa2vMteaQXPsoPqs=;
 h=Feedback-ID:Received:Received:From:To:Subject:Date; 
Feedback-ID: 20115:3760:null:purelymail
X-Pm-Original-To: 65092-done <at> debbugs.gnu.org
Received: by smtp.purelymail.com (Purelymail SMTP) with ESMTPSA id 392773066; 
 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384);
 Fri, 14 Mar 2025 04:17:20 +0000 (UTC)
Received: by melete.silentflame.com (Postfix, from userid 1000)
 id E154A7EE3EC; Fri, 14 Mar 2025 12:17:17 +0800 (CST)
From: Sean Whitton <spwhitton@HIDDEN>
To: Stefan Monnier <monnier@HIDDEN>, 65092-done <at> debbugs.gnu.org
Subject: Re: bug#65092: 30.0.50; C-h f shows malformed description for vc-mode
In-Reply-To: <jwv1q90qufd.fsf-monnier+emacs@HIDDEN>
References: <m1sf8xn33c.fsf@HIDDEN>
 <jwv1q90qufd.fsf-monnier+emacs@HIDDEN>
Date: Fri, 14 Mar 2025 12:17:17 +0800
Message-ID: <87ldt81c1e.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 65092-done
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Version: 31.1

Hello,

Confirmed fixed, thank you.

-- 
Sean Whitton


------------=_1741925882-16909-1
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at submit) by debbugs.gnu.org; 5 Aug 2023 11:25:27 +0000
Received: from localhost ([127.0.0.1]:55923 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qSFPS-000651-SI
	for submit <at> debbugs.gnu.org; Sat, 05 Aug 2023 07:25:27 -0400
Received: from lists.gnu.org ([2001:470:142::17]:52962)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <me@HIDDEN>) id 1qSFPP-00064j-MC
 for submit <at> debbugs.gnu.org; Sat, 05 Aug 2023 07:25:26 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@HIDDEN>) id 1qSFPK-0006DJ-DK
 for bug-gnu-emacs@HIDDEN; Sat, 05 Aug 2023 07:25:18 -0400
Received: from mail.eshelyaron.com ([107.175.124.16] helo=eshelyaron.com)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@HIDDEN>) id 1qSFPI-0002Sn-Ob
 for bug-gnu-emacs@HIDDEN; Sat, 05 Aug 2023 07:25:18 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=eshelyaron.com;
 s=mail; t=1691234715;
 bh=eWTBiwU5dNK9x9XMmYVNQzDTHgUQai3TdPcV7ZYWljQ=;
 h=From:To:Subject:Date:From;
 b=cLHz2uQpFwnR5SZ3lmHp51JsAyaF9LJL9p4XnI19tbkEXJrVJdteXfb6yTskde8IQ
 7EERm5V2MCA/rFZv4HzVWGK79kwhZKYH7aVF4ZBhla0WfRck/qMeGiW96T16fo9Em0
 kljSDuIU9wLscgNPQb4s9zbk8CHAdw0zk0islWQvPd7tTgShmgH6vW774QiV3mJqzb
 1HV5AZ1g/jYcnoL+uI4wVuQy3QLIpYnIJBcKUWiczeaQFp6BWY5jGR45SNqID3CG5Y
 zsWGT42xsBRQICjK1Cm5iMt5YtloHfIWwTqLOqAWUb4V8+n7D/BQvmXg3xuaxt4YVc
 bX2K+vEd77OFg==
From: Eshel Yaron <me@HIDDEN>
To: bug-gnu-emacs@HIDDEN
Subject: 30.0.50; C-h f shows malformed description for vc-mode
Date: Sat, 05 Aug 2023 14:25:11 +0300
Message-ID: <m1sf8xn33c.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Received-SPF: pass client-ip=107.175.124.16; envelope-from=me@HIDDEN;
 helo=eshelyaron.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.9 (/)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.1 (/)


I seems to have stumbled upon an issue with type inference on the master
branch that causes `describe-function` to display the following
malformed description for the function `vc-mode`:

    vc-mode is a native-compiled Lisp function in =E2=80=98vc-hooks.el=E2=
=80=99.

    (vc-mode &optional ARG)

    Inferred type: (function (&optional t) (member Version Control minor
    mode.  This minor mode is automatically activated whenever you visit a
    file under control of one of the revision control systems in
    `vc-handled-backends'.  VC commands are globally reachable under the
    prefix `\[vc-prefix-map]': \{vc-prefix-map}))

    Version Control minor mode.
    This minor mode is automatically activated whenever you...

To reproduce, do `C-h f vc-mode RET` in `emacs -Q`.

Basically, it looks like the inferred type somehow includes the
function's docstring verbatim:

--8<---------------cut here---------------start------------->8---
(comp-function-type-spec 'vc-mode)
=3D> ((function (&optional t) (member "Version Control minor mode.
This minor mode is automatically activated whenever you visit a file under
control of one of the revision control systems in `vc-handled-backends'.
VC commands are globally reachable under the prefix `\\[vc-prefix-map]':
\\{vc-prefix-map}")) . inferred)
--8<---------------cut here---------------end--------------->8---




In GNU Emacs 30.0.50 (build 3, x86_64-apple-darwin22.5.0, NS
 appkit-2299.60 Version 13.4 (Build 22F66)) of 2023-08-03 built on
 Dazzs-MBP
Repository revision: 7b30e11b2ac5cd360db7ee8b6aed07bd918b93a2
Repository branch: master
Windowing system distributor 'Apple', version 10.3.2299
System Description:  macOS 13.4

Configured using:
 'configure 'CFLAGS=3D-g0 -O3' --with-native-compilation --with-json
 --with-imagemagick --with-tree-sitter --enable-link-time-optimization'

Configured features:
ACL DBUS GIF GMP GNUTLS IMAGEMAGICK JPEG JSON LCMS2 LIBXML2 MODULES
NATIVE_COMP NOTIFY KQUEUE NS PDUMPER PNG SQLITE3 THREADS TIFF
TOOLKIT_SCROLL_BARS TREE_SITTER WEBP XIM ZLIB

Important settings:
  value of $LANG: en_US.UTF-8
  locale-coding-system: utf-8-unix

Major mode: Help

Minor modes in effect:
  tooltip-mode: t
  global-eldoc-mode: t
  show-paren-mode: t
  electric-indent-mode: t
  mouse-wheel-mode: t
  tool-bar-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  isearch-fold-quotes-mode: t
  global-font-lock-mode: t
  font-lock-mode: t
  blink-cursor-mode: t
  buffer-read-only: t
  line-number-mode: t
  indent-tabs-mode: t
  transient-mark-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t

Load-path shadows:
None found.

Features:
(shadow sort mail-extr emacsbug message mailcap yank-media puny dired
dired-loaddefs rfc822 mml mml-sec password-cache epa derived epg rfc6068
epg-config gnus-util mm-decode mm-bodies mm-encode mail-parse rfc2231
mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums
mm-util mail-prsvr mail-utils time-date shortdoc vc-annotate vc-dir ewoc
vc vc-filewise vc-git diff-mode easy-mmode vc-dispatcher compile
text-property-search comint ansi-osc ansi-color ring comp comp-cstr
warnings icons subr-x rx cl-seq cl-macs gv cl-extra bytecomp
byte-compile thingatpt help-fns radix-tree help-mode cl-loaddefs cl-lib
rmc iso-transl tooltip cconv eldoc paren electric uniquify ediff-hook
vc-hooks lisp-float-type elisp-mode mwheel term/ns-win ns-win
ucs-normalize mule-util term/common-win tool-bar dnd fontset image
regexp-opt fringe tabulated-list replace newcomment text-mode lisp-mode
prog-mode register page tab-bar menu-bar rfn-eshadow isearch easymenu
timer select scroll-bar mouse jit-lock font-lock syntax font-core
term/tty-colors frame minibuffer nadvice seq simple cl-generic
indonesian philippine cham georgian utf-8-lang misc-lang vietnamese
tibetan thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek
romanian slovak czech european ethiopic indian cyrillic chinese
composite emoji-zwj charscript charprop case-table epa-hook
jka-cmpr-hook help abbrev obarray oclosure cl-preloaded button loaddefs
theme-loaddefs faces cus-face macroexp files window text-properties
overlay sha1 md5 base64 format env code-pages mule custom widget keymap
hashtable-print-readable backquote threads dbusbind kqueue cocoa ns
lcms2 multi-tty make-network-process native-compile emacs)

Memory information:
((conses 16 117625 14245) (symbols 48 8927 0) (strings 32 28340 1637)
 (string-bytes 1 843928) (vectors 16 20095)
 (vector-slots 8 394629 13087) (floats 8 92 641) (intervals 56 470 0)
 (buffers 984 13))



------------=_1741925882-16909-1--



Last modified: Fri, 14 Mar 2025 04:30:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.