GNU bug report logs - #65092
30.0.50; C-h f shows malformed description for vc-mode

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: emacs; Reported by: Eshel Yaron <me@HIDDEN>; Done: Sean Whitton <spwhitton@HIDDEN>; Maintainer for emacs is bug-gnu-emacs@HIDDEN.

Message received at 65092-done <at> debbugs.gnu.org:


Received: (at 65092-done) by debbugs.gnu.org; 14 Mar 2025 04:17:28 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Mar 14 00:17:28 2025
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




Notification sent to Eshel Yaron <me@HIDDEN>:
bug acknowledged by developer. Full text available.
Reply sent to Sean Whitton <spwhitton@HIDDEN>:
You have taken responsibility. Full text available.

Message received at 65092 <at> debbugs.gnu.org:


Received: (at 65092) by debbugs.gnu.org; 25 Feb 2024 18:40:32 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 25 13:40:31 2024
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>
To: Eshel Yaron <me@HIDDEN>
Subject: Re: bug#65092: 30.0.50; C-h f shows malformed description for vc-mode
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-Debbugs-Envelope-To: 65092
Cc: 65092 <at> debbugs.gnu.org
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





Information forwarded to bug-gnu-emacs@HIDDEN:
bug#65092; Package emacs. Full text available.

Message received at 65092 <at> debbugs.gnu.org:


Received: (at 65092) by debbugs.gnu.org; 5 Aug 2023 11:49:59 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Aug 05 07:49:59 2023
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>
To: Eshel Yaron <me@HIDDEN>, Andrea Corallo <acorallo@HIDDEN>
In-Reply-To: <m1sf8xn33c.fsf@HIDDEN> (bug-gnu-emacs@HIDDEN)
Subject: Re: bug#65092: 30.0.50; C-h f shows malformed description for vc-mode
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-Debbugs-Envelope-To: 65092
Cc: 65092 <at> debbugs.gnu.org
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.




Information forwarded to bug-gnu-emacs@HIDDEN:
bug#65092; Package emacs. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 5 Aug 2023 11:25:27 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Aug 05 07:25:27 2023
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))




Acknowledgement sent to Eshel Yaron <me@HIDDEN>:
New bug report received and forwarded. Copy sent to bug-gnu-emacs@HIDDEN. Full text available.
Report forwarded to bug-gnu-emacs@HIDDEN:
bug#65092; Package emacs. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
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.