Subject: bug#66556: closed (Re: bug#66556: 30.0.50; Missing choice in eglot-report-progress :type)

From: [email-masked] (GNU bug Tracking System)
Date: Sat, 21 Oct 2023 10:08:02 +0000

Your bug report

#66556: 30.0.50; Missing choice in eglot-report-progress :type

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 [email-masked].

-- 
66556: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=66556
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#66556: 30.0.50; Missing choice in eglot-report-progress :type
From: Stefan Kangas <[email-masked]>
To: Mauro Aranda <[email-masked]>, [email-masked]
Cc: João Távora <[email-masked]>
Date: Sat, 21 Oct 2023 03:06:49 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Version: 30.1

Mauro Aranda <[email-masked]> writes:

> There's no sign of eglot-handle-notification checking for a value of
> messages in eglot-report-progress in emacs-29.  So I don't think
> anything needs to be changed there.  Of course, João would know better.

Thanks, so I installed the patch on master.

[1: cb89cbc406e]: 2023-10-21 12:05:31 +0200
  Fix eglot-report-progress :type
  https://git.savannah.gnu.org/cgit/emacs.git/commit/?id=cb89cbc406efeeadbb46eb6f4d81827c7c2caf94

Subject: 30.0.50; Missing choice in eglot-report-progress :type
From: Mauro Aranda <[email-masked]>
To: [email-masked]
Date: Sun, 15 Oct 2023 10:40:30 -0300
List-Id: <debbugs-submit.debbugs.gnu.org>

The docstring for eglot-report-progress says it value may be messages,
but its :type is just boolean.