GNU bug report logs - #78492
[PATCH] 31.0.50; eglot.el does not support pyrefly LSP server (python)

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: Jostein Kjønigsen <jostein@HIDDEN>; Keywords: patch; dated Mon, 19 May 2025 08:06:01 UTC; Maintainer for emacs is bug-gnu-emacs@HIDDEN.

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


Received: (at 78492) by debbugs.gnu.org; 19 May 2025 11:17:53 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon May 19 07:17:53 2025
Received: from localhost ([127.0.0.1]:38291 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1uGyVF-00077L-9C
	for submit <at> debbugs.gnu.org; Mon, 19 May 2025 07:17:53 -0400
Received: from fout-a6-smtp.messagingengine.com ([103.168.172.149]:48667)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <jostein@HIDDEN>)
 id 1uGyVB-00076l-Te
 for 78492 <at> debbugs.gnu.org; Mon, 19 May 2025 07:17:51 -0400
Received: from phl-compute-01.internal (phl-compute-01.phl.internal
 [10.202.2.41])
 by mailfout.phl.internal (Postfix) with ESMTP id 0EB99138026C;
 Mon, 19 May 2025 07:17:44 -0400 (EDT)
Received: from phl-mailfrontend-01 ([10.202.2.162])
 by phl-compute-01.internal (MEProxy); Mon, 19 May 2025 07:17:44 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=
 secure.kjonigsen.net; h=cc:cc:content-type:content-type:date
 :date:from:from:in-reply-to:in-reply-to:message-id:mime-version
 :references:reply-to:subject:subject:to:to; s=fm2; t=1747653464;
 x=1747739864; bh=J/AlU0hRi2YdaGvuuiJYfo+o0u13D26FNa1+DszT0+Y=; b=
 CTYb0yOhEP1RttP7x+7GuZq/Tibjhikj+QKdaZYgY6IfiCsvDX1+S4wuPVj6YGws
 WY8oCxDIHc7UOn5PfD3TYpeIoHdp809CNFgFFPCZG+ex94ifK/hqS2hWO6DSwspn
 jJKqQoOtneM6dxCbex/CBRMqFLY6lVlJBZcJSysptFdVLQxPWgqXCPEXBF1nNPtM
 MMnf6K8dpneYE37qRvaEaHsG64rDxQbXKHB/V+b5nON2UL6kybZdWrXnzA1u1eWh
 vmVRef80scnrpOnAzkYeg8juUqLeNHg6Wjs1nMOGfomX+TJXWda2FG6Rq4z2Z6ZY
 909qgEO5hNJg2gNeFz7DAw==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=
 messagingengine.com; h=cc:cc:content-type:content-type:date:date
 :feedback-id:feedback-id:from:from:in-reply-to:in-reply-to
 :message-id:mime-version:references:reply-to:subject:subject:to
 :to:x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm3; t=
 1747653464; x=1747739864; bh=J/AlU0hRi2YdaGvuuiJYfo+o0u13D26FNa1
 +DszT0+Y=; b=W+72srsDhVZ0Mehs7HF6ci2fLsOSFtdi2IxXQTBQyxDyKwb3c3c
 gxownK1DPllLkz+SBOGgxdpScrwqVcfG2JdgZKFEQa67Kl+mWNmlidiFBdWkIgpW
 81pfa+Uk9nTN7ma0uPK2pOPzGL2H+A+qyzlpn7SzgCDlkCf7q66+XREmCLV+4gi9
 Pl2qCRiDpIdY8MjxnsPKSPORdLaEf0ofLWKtAAxrK7l7olYRZook0oxMOs+kGz1Q
 TTebWZ3lHuOiKspHKpJGVa19lluFHbI4/Mn5Azb+tIV66Yyc1+iAxFyreN/zzX7B
 C5/cn8bWNZXDjc3uf8CBF6SgWy3mupxhwgQ==
X-ME-Sender: <xms:VxMraJoG9ne2lMydELjoTLUJccmanIqysJ42uXui7DCzuw16p-_i_g>
 <xme:VxMraLpHnQdkdNL29LjmMV0UXb-KVZ84EeMa9Bht4M0FXYJ3oyHBL17JqUpUiSSTF
 UJGBfXLEeH1X_HwUw>
X-ME-Received: <xmr:VxMraGP-QO-eolT0f4pcyZbwE9dmJKWwn-4ZnzzwKzCknN6-UdUAkbeMBTB6cbM6_LH9qgEem73Zlwmwdoor2-h7D_TzGQqvrlE5bQ>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeefvddrtddtgdefvdduvdegucetufdoteggodetrf
 dotffvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgfnhhsuhgsshgtrhhisggv
 pdfurfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpih
 gvnhhtshculddquddttddmnecujfgurhephffktgggufffjgevvfhfofesrgdtmherhhdt
 jeenucfhrhhomheplfhoshhtvghinhcumfhjpphnihhgshgvnhcuoehjohhsthgvihhnse
 hsvggtuhhrvgdrkhhjohhnihhgshgvnhdrnhgvtheqnecuggftrfgrthhtvghrnhepheeg
 jeeljeejhfdugfevffekieeffeekveekteejteetvefglefhffelteeggfeunecuffhomh
 grihhnpehgihhthhhusgdrtghomhenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgr
 mhepmhgrihhlfhhrohhmpehjohhsthgvihhnsehsvggtuhhrvgdrkhhjohhnihhgshgvnh
 drnhgvthdpnhgspghrtghpthhtohepvddpmhhouggvpehsmhhtphhouhhtpdhrtghpthht
 ohepshhhihhpmhhinhhtshesghhmrghilhdrtghomhdprhgtphhtthhopeejkeegledvse
 guvggssghughhsrdhgnhhurdhorhhg
X-ME-Proxy: <xmx:VxMraE6uYOXCRA9gU6akx4EeSiKs90Z2KaPgxPCg7TF_iJvOByD0Rw>
 <xmx:VxMraI4P8BagXi9Ek5xdFFlyyVImZXDK8x9gt_8DGEMDyc6kTfG-hg>
 <xmx:VxMraMjP_m0fFwkqpEQv5DHDxuvrQefrNEtL53y5nVaMlW307_jhrA>
 <xmx:VxMraK65KTO0ss0YT_ywsgcxsknK7uASZuLVXlUvwDYHuu4ja1K2Ug>
 <xmx:WBMraBRlpl9mzK_AI1qxG15YCYaPeiCvG9XVonHyresEZS8iPA7nYNC7>
Feedback-ID: ib2f84088:Fastmail
Received: by mail.messagingengine.com (Postfix) with ESMTPA; Mon,
 19 May 2025 07:17:43 -0400 (EDT)
From: =?utf-8?Q?Jostein_Kj=C3=B8nigsen?= <jostein@HIDDEN>
Message-Id: <0C90E7EF-C601-4428-AD98-C1A2B7DECD98@HIDDEN>
Content-Type: multipart/alternative;
 boundary="Apple-Mail=_B22D9C36-A504-42D6-B7C3-9B7A29744D2D"
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.500.181.1.5\))
Subject: Re: bug#78492: [PATCH] 31.0.50; eglot.el does not support pyrefly LSP
 server (python)
Date: Mon, 19 May 2025 13:17:31 +0200
In-Reply-To: <CAN+1HbrrxgFfctpvaf0h2azxR=_WHq3as+2efhKtnB+EUVrNww@HIDDEN>
To: Ship Mints <shipmints@HIDDEN>
References: <9BD361AB-C370-491F-B1B3-566D81099B01@HIDDEN>
 <CAN+1HbrreR5rA46++T9_LuB1jPwcmLogjNcpbRWhLrOOSqrvJA@HIDDEN>
 <F469C6D0-ECC7-47BB-85EC-2D070346BFDC@HIDDEN>
 <CAN+1HbrrxgFfctpvaf0h2azxR=_WHq3as+2efhKtnB+EUVrNww@HIDDEN>
X-Mailer: Apple Mail (2.3826.500.181.1.5)
X-Spam-Score: -0.7 (/)
X-Debbugs-Envelope-To: 78492
Cc: 78492 <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: -1.7 (-)


--Apple-Mail=_B22D9C36-A504-42D6-B7C3-9B7A29744D2D
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8


> On 19 May 2025, at 12:53, Ship Mints <shipmints@HIDDEN> wrote:
>=20
> On Mon, May 19, 2025 at 6:50=E2=80=AFAM Jostein Kj=C3=B8nigsen =
<jostein@HIDDEN <mailto:jostein@HIDDEN>> =
wrote:
>>=20
>>> On 19 May 2025, at 12:37, Ship Mints <shipmints@HIDDEN =
<mailto:shipmints@HIDDEN>> wrote:
>>>=20
>>> Cool.  You jumped on pyrefly fast.  As eglot supports only one LSP =
server at a time per session (for now...I think Joao has a multiplexer =
idea), it might also be good to see pyrefly integrated into pylsp as =
mypy is (see https://github.com/python-lsp/pylsp-mypy).  This way, eglot =
users can benefit from simultaneous linting, type checking, and code =
navigation vs. just type checking alone which is what they'd get using =
pyrefly as an LSP.  To be clear, I'm not saying skip the patch, I'm =
saying let's also encourage integration under a multiplexing LSP.
>>=20
>> Hey!
>>=20
>> Thanks for the quick reply.
>>=20
>> I have to admit I didn't know about that whole =
pylsp-extensibility-and-multiplexing story. It sounds useful, but I =
don't feel like that's something I'm going to be taking charge of.
>=20
> I suggested encouraging not volunteering but of course you could do =
both!  How about at least submitting an issue for the feature request =
here https://github.com/python-lsp/python-lsp-server/issues
>=20


Created an issue. It can be found here:
https://github.com/python-lsp/python-lsp-server/issues/648

Now... Back to actual code in actual Emacs, and my patch specifically. =
Who can review it, test it and get it merged? ;)

--
Jostein=

--Apple-Mail=_B22D9C36-A504-42D6-B7C3-9B7A29744D2D
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=utf-8

<html><head><meta http-equiv=3D"content-type" content=3D"text/html; =
charset=3Dutf-8"></head><body style=3D"overflow-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: =
after-white-space;"><br><div><blockquote type=3D"cite"><div>On 19 May =
2025, at 12:53, Ship Mints &lt;shipmints@HIDDEN&gt; wrote:</div><br =
class=3D"Apple-interchange-newline"><div><div dir=3D"ltr"><div =
dir=3D"ltr"><div class=3D"gmail_default" =
style=3D"font-family:monospace"><span =
style=3D"font-family:Arial,Helvetica,sans-serif">On Mon, May 19, 2025 at =
6:50=E2=80=AFAM Jostein Kj=C3=B8nigsen &lt;<a =
href=3D"mailto:jostein@HIDDEN">jostein@HIDDEN<=
/a>&gt; wrote:</span></div></div><div class=3D"gmail_quote =
gmail_quote_container"><blockquote class=3D"gmail_quote" =
style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid =
rgb(204,204,204);padding-left:1ex"><br><div><blockquote =
type=3D"cite"><div>On 19 May 2025, at 12:37, Ship Mints &lt;<a =
href=3D"mailto:shipmints@HIDDEN" =
target=3D"_blank">shipmints@HIDDEN</a>&gt; wrote:</div><div><div =
dir=3D"ltr"><div dir=3D"ltr"><div =
style=3D"font-family:monospace"><br></div></div><div =
class=3D"gmail_quote"><div style=3D"font-family:monospace">Cool.&nbsp; =
You jumped on pyrefly fast.&nbsp; As eglot supports only one LSP server =
at a time per session (for now...I think Joao has a multiplexer idea), =
it might also be good to see pyrefly integrated into pylsp&nbsp;as mypy =
is (see <a href=3D"https://github.com/python-lsp/pylsp-mypy" =
target=3D"_blank">https://github.com/python-lsp/pylsp-mypy</a>).&nbsp; =
This way, eglot users can benefit from simultaneous linting, type =
checking, and code navigation vs. just type checking alone which is what =
they'd get using pyrefly as an LSP.&nbsp; To be clear, I'm not saying =
skip the patch, I'm saying let's also encourage integration under a =
multiplexing LSP.</div></div></div>
</div></blockquote></div><br><div>Hey!</div><div><br></div><div>Thanks =
for the quick reply.</div><div><br></div><div>I have to admit I didn't =
know about that whole pylsp-extensibility-and-multiplexing story. It =
sounds useful, but I don't feel like that's something I'm going to be =
taking charge of.<br></div></blockquote><div><br></div><div =
class=3D"gmail_default" style=3D"font-family:monospace">I suggested =
encouraging not volunteering but of&nbsp;course you could do both!&nbsp; =
How about at least submitting an issue for the feature request =
here&nbsp;<a =
href=3D"https://github.com/python-lsp/python-lsp-server/issues">https://gi=
thub.com/python-lsp/python-lsp-server/issues</a></div><div =
class=3D"gmail_default" =
style=3D"font-family:monospace"><br></div></div></div>
</div></blockquote></div><br><div><br></div><div>Created an issue. It =
can be found here:</div><div><a =
href=3D"https://github.com/python-lsp/python-lsp-server/issues/648">https:=
//github.com/python-lsp/python-lsp-server/issues/648</a><br></div><div><br=
></div><div>Now... Back to actual code in actual Emacs, and my patch =
specifically. Who can review it, test it and get it merged? =
;)</div><div><br></div><div>--</div><div>Jostein</div></body></html>=

--Apple-Mail=_B22D9C36-A504-42D6-B7C3-9B7A29744D2D--




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

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


Received: (at 78492) by debbugs.gnu.org; 19 May 2025 10:54:14 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon May 19 06:54:14 2025
Received: from localhost ([127.0.0.1]:37994 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1uGy8L-0001mv-2K
	for submit <at> debbugs.gnu.org; Mon, 19 May 2025 06:54:14 -0400
Received: from mail-vs1-xe35.google.com ([2607:f8b0:4864:20::e35]:59784)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.84_2) (envelope-from <shipmints@HIDDEN>)
 id 1uGy8I-0001m2-Ey
 for 78492 <at> debbugs.gnu.org; Mon, 19 May 2025 06:54:11 -0400
Received: by mail-vs1-xe35.google.com with SMTP id
 ada2fe7eead31-4e241d92c3fso538198137.3
 for <78492 <at> debbugs.gnu.org>; Mon, 19 May 2025 03:54:10 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1747652044; x=1748256844; darn=debbugs.gnu.org;
 h=cc:to:subject:message-id:date:from:in-reply-to:references
 :mime-version:from:to:cc:subject:date:message-id:reply-to;
 bh=7Zs9hNJhjTq9pYNHTwdcZPdZCi1PNoOpwMzF/qg0KUs=;
 b=KJ0BTExZ1oseAWv3uC6/ZSs/nAn6bU+gROUDv0MwwvA/VgkqYPOPQHBdBPP9i33ep8
 celQBYwygyNLV61GhEGeg2T04CY3JJiFmlmNzOijuOJlQP4qsLqN8O/TuLq0SuMc39Bd
 /d7lMyzGs3sQ8CH8yOdnAG23lg+H+XTvjvCSth2UOy8aiU5FXWQYlkVSd68QMESm8hMo
 iARsNoVaKMayx8yixkOojgSDsFqylCCFsmN6kAMfdcW8Awk/0tL8bO7CNFUyw9kD1C25
 uRWBNd+mMZ0yH/CUHdbCUQhcQptpNElD9C/FZBB3JYK+yklJ5h1i8BHx5I8fgkn5roDN
 +spQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1747652044; x=1748256844;
 h=cc:to:subject:message-id:date:from:in-reply-to:references
 :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id
 :reply-to;
 bh=7Zs9hNJhjTq9pYNHTwdcZPdZCi1PNoOpwMzF/qg0KUs=;
 b=elXeMnuZyv+/Vf8qU9TnSxJnYTGPLmizeSlWwweY+J2j+5//Bqd0y3kPuR8mc/16eF
 VzbuVbLJK2HUKaQR+EFG31zwCI+kzxIURu5U1Ni6bImh/cFZxjMJTdcFFTcoFkrFElll
 Pfypa3oS21vr/p3Wn/ET/xcGsLQ+3tKlLfO2FvtlUnTl79yzq0J6z7YLrYRtna50ckgT
 g5Utky9NCVdtm4XSjhIC0Y3AQ0Vf/2tjFZfGY7b8BLnOWYG6xybeB3IQp+dYOAdzUSdt
 kLoDqRSkeXnHQCxir2JWH+XsCvwOzVXLCV7OD7cpLfqrhvPG1yoHLhWyP7iAf0uE0wTX
 aWhw==
X-Gm-Message-State: AOJu0YymaFBCSdlsAYAqANWW3nMY1LoePNdVpWkCbU9yXuOBO2zfLAP3
 L/REb5mtehuWnOIgyFOcc+bjLhmuVUArbTaUSni+R+yAg8fj5UXfxUG4iy4Hm56iJZjILzkYZBO
 7zAw5Cdy05ZNExiH2772lTIN7fmv+CfrpWA==
X-Gm-Gg: ASbGncv0GMGmEa3dJMADaRc9BLCKXmwBtfq8gysM5TcQL9xNf0mSE7/ISB/9MPMepNH
 yTnZa9ulLbxDrcRrgshHiRfImlabr5lgYt4srzjFTjmjaQ7Ay9mwpqZxi3umEsvM/1DhGQZ0NgM
 uJBoNvXnfUdxN1KDTqtwPNhDQ2L/pvT9gEmwY=
X-Google-Smtp-Source: AGHT+IELqFDvRkon7+bmJwl0PiOJOcIGyRilgrCIEFxt50IMXxyG4MkMiXvXBqh3YViWOl10YE+I8LNmv8MwPViy8qk=
X-Received: by 2002:a05:6102:4423:b0:4c2:20d6:c6c3 with SMTP id
 ada2fe7eead31-4dfa6b58d02mr11469148137.10.1747652044589; Mon, 19 May 2025
 03:54:04 -0700 (PDT)
MIME-Version: 1.0
References: <9BD361AB-C370-491F-B1B3-566D81099B01@HIDDEN>
 <CAN+1HbrreR5rA46++T9_LuB1jPwcmLogjNcpbRWhLrOOSqrvJA@HIDDEN>
 <F469C6D0-ECC7-47BB-85EC-2D070346BFDC@HIDDEN>
In-Reply-To: <F469C6D0-ECC7-47BB-85EC-2D070346BFDC@HIDDEN>
From: Ship Mints <shipmints@HIDDEN>
Date: Mon, 19 May 2025 06:53:53 -0400
X-Gm-Features: AX0GCFvjLTWQfHodDJB_hUdKVHaxwO8tGP0Rhz2t5ZuhxlWMv--u-uZ78xxjyQk
Message-ID: <CAN+1HbrrxgFfctpvaf0h2azxR=_WHq3as+2efhKtnB+EUVrNww@HIDDEN>
Subject: Re: bug#78492: [PATCH] 31.0.50; eglot.el does not support pyrefly LSP
 server (python)
To: =?UTF-8?Q?Jostein_Kj=C3=B8nigsen?= <jostein@HIDDEN>
Content-Type: multipart/alternative; boundary="0000000000004f100406357af306"
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 78492
Cc: 78492 <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: -1.0 (-)

--0000000000004f100406357af306
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Mon, May 19, 2025 at 6:50=E2=80=AFAM Jostein Kj=C3=B8nigsen <
jostein@HIDDEN> wrote:

>
> On 19 May 2025, at 12:37, Ship Mints <shipmints@HIDDEN> wrote:
>
> Cool.  You jumped on pyrefly fast.  As eglot supports only one LSP server
> at a time per session (for now...I think Joao has a multiplexer idea), it
> might also be good to see pyrefly integrated into pylsp as mypy is (see
> https://github.com/python-lsp/pylsp-mypy).  This way, eglot users can
> benefit from simultaneous linting, type checking, and code navigation vs.
> just type checking alone which is what they'd get using pyrefly as an LSP=
.
> To be clear, I'm not saying skip the patch, I'm saying let's also encoura=
ge
> integration under a multiplexing LSP.
>
>
> Hey!
>
> Thanks for the quick reply.
>
> I have to admit I didn't know about that whole
> pylsp-extensibility-and-multiplexing story. It sounds useful, but I don't
> feel like that's something I'm going to be taking charge of.
>

I suggested encouraging not volunteering but of course you could do both!
How about at least submitting an issue for the feature request here
https://github.com/python-lsp/python-lsp-server/issues

--0000000000004f100406357af306
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div class=3D"gmail_default" style=3D"fon=
t-family:monospace"><span style=3D"font-family:Arial,Helvetica,sans-serif">=
On Mon, May 19, 2025 at 6:50=E2=80=AFAM Jostein Kj=C3=B8nigsen &lt;<a href=
=3D"mailto:jostein@HIDDEN">jostein@HIDDEN</a>&g=
t; wrote:</span></div></div><div class=3D"gmail_quote gmail_quote_container=
"><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;borde=
r-left:1px solid rgb(204,204,204);padding-left:1ex"><br><div><blockquote ty=
pe=3D"cite"><div>On 19 May 2025, at 12:37, Ship Mints &lt;<a href=3D"mailto=
:shipmints@HIDDEN" target=3D"_blank">shipmints@HIDDEN</a>&gt; wrote:<=
/div><div><div dir=3D"ltr"><div dir=3D"ltr"><div style=3D"font-family:monos=
pace"><br></div></div><div class=3D"gmail_quote"><div style=3D"font-family:=
monospace">Cool.=C2=A0 You jumped on pyrefly fast.=C2=A0 As eglot supports =
only one LSP server at a time per session (for now...I think Joao has a mul=
tiplexer idea), it might also be good to see pyrefly integrated into pylsp=
=C2=A0as mypy is (see <a href=3D"https://github.com/python-lsp/pylsp-mypy" =
target=3D"_blank">https://github.com/python-lsp/pylsp-mypy</a>).=C2=A0 This=
 way, eglot users can benefit from simultaneous linting, type checking, and=
 code navigation vs. just type checking alone which is what they&#39;d get =
using pyrefly as an LSP.=C2=A0 To be clear, I&#39;m not saying skip the pat=
ch, I&#39;m saying let&#39;s also encourage integration under a multiplexin=
g LSP.</div></div></div>
</div></blockquote></div><br><div>Hey!</div><div><br></div><div>Thanks for =
the quick reply.</div><div><br></div><div>I have to admit I didn&#39;t know=
 about that whole pylsp-extensibility-and-multiplexing story. It sounds use=
ful, but I don&#39;t feel like that&#39;s something I&#39;m going to be tak=
ing charge of.<br></div></blockquote><div><br></div><div class=3D"gmail_def=
ault" style=3D"font-family:monospace">I suggested encouraging not volunteer=
ing but of=C2=A0course you could do both!=C2=A0 How about at least submitti=
ng an issue for the feature request here=C2=A0<a href=3D"https://github.com=
/python-lsp/python-lsp-server/issues">https://github.com/python-lsp/python-=
lsp-server/issues</a></div><div class=3D"gmail_default" style=3D"font-famil=
y:monospace"><br></div></div></div>

--0000000000004f100406357af306--




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

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


Received: (at 78492) by debbugs.gnu.org; 19 May 2025 10:51:03 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon May 19 06:51:03 2025
Received: from localhost ([127.0.0.1]:37950 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1uGy5H-0001Yn-3o
	for submit <at> debbugs.gnu.org; Mon, 19 May 2025 06:51:03 -0400
Received: from fhigh-a2-smtp.messagingengine.com ([103.168.172.153]:58439)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <jostein@HIDDEN>)
 id 1uGy5D-0001Xl-VT
 for 78492 <at> debbugs.gnu.org; Mon, 19 May 2025 06:51:01 -0400
Received: from phl-compute-10.internal (phl-compute-10.phl.internal
 [10.202.2.50])
 by mailfhigh.phl.internal (Postfix) with ESMTP id 11C44114012E;
 Mon, 19 May 2025 06:50:54 -0400 (EDT)
Received: from phl-mailfrontend-01 ([10.202.2.162])
 by phl-compute-10.internal (MEProxy); Mon, 19 May 2025 06:50:54 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=
 secure.kjonigsen.net; h=cc:cc:content-type:content-type:date
 :date:from:from:in-reply-to:in-reply-to:message-id:mime-version
 :references:reply-to:subject:subject:to:to; s=fm2; t=1747651854;
 x=1747738254; bh=EPJLQrsinzUSIyg54HLlaJIrtgykQL6b/t97V8bvUD4=; b=
 vUmRAwR15dmAigy5585znwvMxNiuv/C5DlpFVPJ4RFjlmj6cJE2aovPVSgiWvDf2
 8iA6jLJRiu7b6IPIIbCU9VjM026yS81IsPgRQF7hsrGKXimxdOEqI/60OsJbk9nC
 lBfy9IoM7qfQpBQb3Hbb65V13F2UF+FLwypqIs4Ux+DHVntMakuGBMWI8QZCdQMN
 7pFjVhxso9ecgel2dWVk/ZFFgTOVGtY9yQJcYBW8i5c8X24W+TCrjepdlKWMPFo7
 1YLsDGiAmw4Lrk3RWEBuiFC6BdRQv6YiCc9GemwQv8HiSk6PT30pqUVN7efHiUTL
 WG/9ILd35v7OYoSgYR9odQ==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=
 messagingengine.com; h=cc:cc:content-type:content-type:date:date
 :feedback-id:feedback-id:from:from:in-reply-to:in-reply-to
 :message-id:mime-version:references:reply-to:subject:subject:to
 :to:x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm3; t=
 1747651854; x=1747738254; bh=EPJLQrsinzUSIyg54HLlaJIrtgykQL6b/t9
 7V8bvUD4=; b=M8JXhRUmfnZhvaPM0T+GlC4cP3t8I4xrV6/vSGyr6Pmfn0ydsZX
 8duXa8+sNQC4dJ0PUTnaH5OrrbYt7lXWfmzxKB3gC1oL5jVFfhV//Ymr16/pfVA/
 W34m5rAOkdxwrS07dhzcY+w9gp5XJcPJQ/LdzGnCWg5Hcw9kDC15maerAmJ0/ebb
 wkxtWj2MgisLi/5QOTGbANonzu4hZaFjK4r7n4eig3QssSUp0T/YiUyBVkYf3YUu
 P50SF9oQDfuRy08qT7enhQyd9X5+dHiepFaiHRR8Ni2PjKbPlmLEOTu6bFNxII5R
 WLGOYj66yaDgSPXJ/D42iYaihkhOj4B4WFw==
X-ME-Sender: <xms:DQ0raJYeF-4xWLriojBzlQtchqFM1I7_CR0yJLxUiX7WblJZXysViw>
 <xme:DQ0raAbmkLPRQSNjG71jpEKwYmrgJ0FsgSCCpUvosB5tfdNqbrqw6MECDNv0EBx74
 GqH1N1LdNreX7X57A>
X-ME-Received: <xmr:DQ0raL-sQ9wCmCsQnMDZWicY3HvCnIY4plH-WF-TZ8nW_mta7em_DScz5HURW3NTWfSKVbkzC7-h8vQbUMhUXghFo6Ty1jVTC__ydg>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeefvddrtddtgdefvdduudekucetufdoteggodetrf
 dotffvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgfnhhsuhgsshgtrhhisggv
 pdfurfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpih
 gvnhhtshculddquddttddmnecujfgurhephffktgggufffjgevvfhfofesrgdtmherhhdt
 vdenucfhrhhomheplfhoshhtvghinhcumfhjpphnihhgshgvnhcuoehjohhsthgvihhnse
 hsvggtuhhrvgdrkhhjohhnihhgshgvnhdrnhgvtheqnecuggftrfgrthhtvghrnhepueeu
 teefffeigfdtffdvjeduuedtveetleeutdeifeeludegvdeugfeugfefjeeknecuffhomh
 grihhnpehgihhthhhusgdrtghomhenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgr
 mhepmhgrihhlfhhrohhmpehjohhsthgvihhnsehsvggtuhhrvgdrkhhjohhnihhgshgvnh
 drnhgvthdpnhgspghrtghpthhtohepvddpmhhouggvpehsmhhtphhouhhtpdhrtghpthht
 ohepshhhihhpmhhinhhtshesghhmrghilhdrtghomhdprhgtphhtthhopeejkeegledvse
 guvggssghughhsrdhgnhhurdhorhhg
X-ME-Proxy: <xmx:DQ0raHqT-7ySHAXEMGOFiQ9eM8iRvQoAUvINn0wDUy_01TiUQ_eVwQ>
 <xmx:DQ0raEorWXobzWAu8uCoRkU4_9UvE7BdauQYLfQuN8WdkHyy4fiIZw>
 <xmx:DQ0raNSG-sn6uTTIP9UcNldcbu_cpqNxK9s7MgfcB0JaOby7MBTf6g>
 <xmx:DQ0raMpx26rsOjGKBfLl6uSXVJwUQIFILrH_7uYTyUk0YTX7dxQm_A>
 <xmx:Dg0raHDPdIeeQwPbWxxyd9x-oeeja7YECDyTy-uT1PjhquxkkkCzbRfC>
Feedback-ID: ib2f84088:Fastmail
Received: by mail.messagingengine.com (Postfix) with ESMTPA; Mon,
 19 May 2025 06:50:52 -0400 (EDT)
From: =?utf-8?Q?Jostein_Kj=C3=B8nigsen?= <jostein@HIDDEN>
Message-Id: <F469C6D0-ECC7-47BB-85EC-2D070346BFDC@HIDDEN>
Content-Type: multipart/alternative;
 boundary="Apple-Mail=_C3070F67-A23A-4A1F-9EFD-B1D46BB9B5A4"
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.500.181.1.5\))
Subject: Re: bug#78492: [PATCH] 31.0.50; eglot.el does not support pyrefly LSP
 server (python)
Date: Mon, 19 May 2025 12:50:40 +0200
In-Reply-To: <CAN+1HbrreR5rA46++T9_LuB1jPwcmLogjNcpbRWhLrOOSqrvJA@HIDDEN>
To: Ship Mints <shipmints@HIDDEN>
References: <9BD361AB-C370-491F-B1B3-566D81099B01@HIDDEN>
 <CAN+1HbrreR5rA46++T9_LuB1jPwcmLogjNcpbRWhLrOOSqrvJA@HIDDEN>
X-Mailer: Apple Mail (2.3826.500.181.1.5)
X-Spam-Score: -1.7 (-)
X-Debbugs-Envelope-To: 78492
Cc: 78492 <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: -2.7 (--)


--Apple-Mail=_C3070F67-A23A-4A1F-9EFD-B1D46BB9B5A4
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=us-ascii


> On 19 May 2025, at 12:37, Ship Mints <shipmints@HIDDEN> wrote:
>=20
> Cool.  You jumped on pyrefly fast.  As eglot supports only one LSP =
server at a time per session (for now...I think Joao has a multiplexer =
idea), it might also be good to see pyrefly integrated into pylsp as =
mypy is (see https://github.com/python-lsp/pylsp-mypy).  This way, eglot =
users can benefit from simultaneous linting, type checking, and code =
navigation vs. just type checking alone which is what they'd get using =
pyrefly as an LSP.  To be clear, I'm not saying skip the patch, I'm =
saying let's also encourage integration under a multiplexing LSP.

Hey!

Thanks for the quick reply.

I have to admit I didn't know about that whole =
pylsp-extensibility-and-multiplexing story. It sounds useful, but I =
don't feel like that's something I'm going to be taking charge of.

If someone builds it, I'm sure I'll try it out though ;)

--
Jostein=

--Apple-Mail=_C3070F67-A23A-4A1F-9EFD-B1D46BB9B5A4
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=us-ascii

<html><head><meta http-equiv=3D"content-type" content=3D"text/html; =
charset=3Dus-ascii"></head><body style=3D"overflow-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: =
after-white-space;"><br><div><blockquote type=3D"cite"><div>On 19 May =
2025, at 12:37, Ship Mints &lt;shipmints@HIDDEN&gt; =
wrote:</div><div><div dir=3D"ltr"><div dir=3D"ltr"><div =
class=3D"gmail_default" =
style=3D"font-family:monospace"><br></div></div><div class=3D"gmail_quote =
gmail_quote_container"><div class=3D"gmail_default" =
style=3D"font-family:monospace">Cool.&nbsp; You jumped on pyrefly =
fast.&nbsp; As eglot supports only one LSP server at a time per session =
(for now...I think Joao has a multiplexer idea), it might also be good =
to see pyrefly integrated into pylsp&nbsp;as mypy is (see <a =
href=3D"https://github.com/python-lsp/pylsp-mypy">https://github.com/pytho=
n-lsp/pylsp-mypy</a>).&nbsp; This way, eglot users can benefit from =
simultaneous linting, type checking, and code navigation vs. just type =
checking alone which is what they'd get using pyrefly as an LSP.&nbsp; =
To be clear, I'm not saying skip the patch, I'm saying let's also =
encourage integration under a multiplexing LSP.</div></div></div>
</div></blockquote></div><br><div>Hey!</div><div><br></div><div>Thanks =
for the quick reply.</div><div><br></div><div>I have to admit I didn't =
know about that whole pylsp-extensibility-and-multiplexing story. It =
sounds useful, but I don't feel like that's something I'm going to be =
taking charge of.</div><div><br></div><div>If someone builds it, I'm =
sure I'll try it out though =
;)</div><div><br></div><div>--</div><div>Jostein</div></body></html>=

--Apple-Mail=_C3070F67-A23A-4A1F-9EFD-B1D46BB9B5A4--




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

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


Received: (at 78492) by debbugs.gnu.org; 19 May 2025 10:37:49 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon May 19 06:37:49 2025
Received: from localhost ([127.0.0.1]:37819 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1uGxsS-0000H0-Om
	for submit <at> debbugs.gnu.org; Mon, 19 May 2025 06:37:49 -0400
Received: from mail-vk1-xa33.google.com ([2607:f8b0:4864:20::a33]:43396)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.84_2) (envelope-from <shipmints@HIDDEN>)
 id 1uGxsP-0000GS-Kl
 for 78492 <at> debbugs.gnu.org; Mon, 19 May 2025 06:37:46 -0400
Received: by mail-vk1-xa33.google.com with SMTP id
 71dfb90a1353d-5290be1aedcso3748125e0c.1
 for <78492 <at> debbugs.gnu.org>; Mon, 19 May 2025 03:37:45 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1747651060; x=1748255860; darn=debbugs.gnu.org;
 h=cc:to:subject:message-id:date:from:in-reply-to:references
 :mime-version:from:to:cc:subject:date:message-id:reply-to;
 bh=4Gz3CSruu/OOupSJoifm4IDwgKXG9ngxTRK5PUPASSA=;
 b=WaqSq7dlpDQKtOF9pTfE4ZBkgEgMDF3PlS7aJ839xnzHI9FVBE6rKMo/nxyP+qGSte
 B3xuSnw38xIgbl7qyLKcrqaSjJw8utYr04mLRPyybM5mBOT5emVCMuq3Z45asjGWBs9Q
 5Vy/zzwT1nbGxp6yBrUY85BEHM8JiJlGMmEZoelIZT/SjRGiuKQbQD6yt6RWMwAl28GD
 4H4JhXSLquie2Fs7VlNcsLjS5AN4VtYtBqEInZtexeRpfX4zF9fIjCkiTiDl3MflXhfV
 y9DSiJrfldEC8XCM4U+oRqe35hVn8B0AbdF1LBINvR/1sL4vFM+r1GJ1HNg8E+L9HWgp
 X4bg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1747651060; x=1748255860;
 h=cc:to:subject:message-id:date:from:in-reply-to:references
 :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id
 :reply-to;
 bh=4Gz3CSruu/OOupSJoifm4IDwgKXG9ngxTRK5PUPASSA=;
 b=dXxLWzVdKfLkqyD7RPSx8lIqZimB7JDWe978Q5xRaFLokfNm/Pnmziq+Ca5kdQIBZZ
 a5WFC8fAxnGkxcZoBU79Kfo0/wA5DR4FwYhh2V1AIE/QsOzzKeh0LWuIz7h5juI4IHqi
 0lFLDuYrAIrF5Pa2rA7DNzu6PFHXLfMWf/839gsPohT7nCq/aKwpKVAvqPaPcgO5Q3dt
 SoG26jPkLvXpSruafC1kpOK6XOduBZqnt7eV7qLmg/xPVodRVWhXU/5RH5o2cHrUOaxM
 ZNT7GtCkpY6Nwm42dz+IGafgc4xIcvsw4w5qQT1FQbx+ROUind6dEmh/vCmEI23amk46
 5cmQ==
X-Gm-Message-State: AOJu0YzoxelRwDwUBkHKpTbKvSETqCdVpJxGo7tc5EqmkTni3TsetBLk
 wTXG0XPyGMfX0HBgyNfY1KgxO9xKU9TrqDCY/cBiL8WUCJhJ2bNtvFFsmryaT3LfxEQiYsxGbya
 n/3OhR0gPnYRFmqJPhy0FkxDTf8JaDH0IQA==
X-Gm-Gg: ASbGncuOnFX+gWpzaEo715bdW0HhjHeccVu0sxgpeXAnBnk/nv+/hOUbcsfxWxXYNPn
 CGthdrMhLIt1HoOnhTM8xOhXpLmjqqXt5F76rWK6VnyxQBssE8Ahi9wDWyt5vELp330KklN+lu6
 WD1vZVmn13ihVjeH57AoHDbV71b+N6jGCXdEM=
X-Google-Smtp-Source: AGHT+IFThIl/mAMW+lKzH3HetvpGQ48SAdKQsAtG/VT8SOW2gAJw7WbR2t/ny8CcYxivVUUTszESsjNAqzs1ycY0ofU=
X-Received: by 2002:ac5:c991:0:b0:52d:beeb:c6a3 with SMTP id
 71dfb90a1353d-52dbeebc77fmr6462937e0c.1.1747651059627; Mon, 19 May 2025
 03:37:39 -0700 (PDT)
MIME-Version: 1.0
References: <9BD361AB-C370-491F-B1B3-566D81099B01@HIDDEN>
In-Reply-To: <9BD361AB-C370-491F-B1B3-566D81099B01@HIDDEN>
From: Ship Mints <shipmints@HIDDEN>
Date: Mon, 19 May 2025 06:37:28 -0400
X-Gm-Features: AX0GCFu72P7F_9XQXiXCe1CwGtQYeiLK5kTVADxdhjiIS3PYR_fj20tZboK2MWs
Message-ID: <CAN+1HbrreR5rA46++T9_LuB1jPwcmLogjNcpbRWhLrOOSqrvJA@HIDDEN>
Subject: Re: bug#78492: [PATCH] 31.0.50; eglot.el does not support pyrefly LSP
 server (python)
To: =?UTF-8?Q?Jostein_Kj=C3=B8nigsen?= <jostein@HIDDEN>
Content-Type: multipart/alternative; boundary="00000000000099bd4d06357ab8b3"
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 78492
Cc: 78492 <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: -1.0 (-)

--00000000000099bd4d06357ab8b3
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Mon, May 19, 2025 at 4:06=E2=80=AFAM Jostein Kj=C3=B8nigsen <
jostein@HIDDEN> wrote:

> Hey everyone.
>
> There's a new, fast combined type-checker and LSP-server available for
> Python called "pyrefly". The source can be found here:
> https://github.com/facebook/pyrefly
>
> Currently it's not possible to use this LSP-server with eglot, due to
> missing configuration.
>
> Attached is a patch which fixes this.
>

Cool.  You jumped on pyrefly fast.  As eglot supports only one LSP server
at a time per session (for now...I think Joao has a multiplexer idea), it
might also be good to see pyrefly integrated into pylsp as mypy is (see
https://github.com/python-lsp/pylsp-mypy).  This way, eglot users can
benefit from simultaneous linting, type checking, and code navigation vs.
just type checking alone which is what they'd get using pyrefly as an LSP.
To be clear, I'm not saying skip the patch, I'm saying let's also encourage
integration under a multiplexing LSP.

--00000000000099bd4d06357ab8b3
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div class=3D"gmail_default" style=3D"fon=
t-family:monospace"><span style=3D"font-family:Arial,Helvetica,sans-serif">=
On Mon, May 19, 2025 at 4:06=E2=80=AFAM Jostein Kj=C3=B8nigsen &lt;<a href=
=3D"mailto:jostein@HIDDEN">jostein@HIDDEN</a>&g=
t; wrote:</span></div></div><div class=3D"gmail_quote gmail_quote_container=
"><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;borde=
r-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div>Hey everyone.=
</div><div><br></div><div>There&#39;s a new, fast combined type-checker and=
 LSP-server available for Python called &quot;pyrefly&quot;. The source can=
 be found here:</div><div><a href=3D"https://github.com/facebook/pyrefly" t=
arget=3D"_blank">https://github.com/facebook/pyrefly</a><br></div><div><br>=
</div><div>Currently it&#39;s not possible to use this LSP-server with eglo=
t, due to missing configuration.</div><div><br></div><div>Attached is a pat=
ch which fixes this.</div></div></blockquote><div><br></div><div class=3D"g=
mail_default" style=3D"font-family:monospace">Cool.=C2=A0 You jumped on pyr=
efly fast.=C2=A0 As eglot supports only one LSP server at a time per sessio=
n (for now...I think Joao has a multiplexer idea), it might also be good to=
 see pyrefly integrated into pylsp=C2=A0as mypy is (see <a href=3D"https://=
github.com/python-lsp/pylsp-mypy">https://github.com/python-lsp/pylsp-mypy<=
/a>).=C2=A0 This way, eglot users can benefit from simultaneous linting, ty=
pe checking, and code navigation vs. just type checking alone which is what=
 they&#39;d get using pyrefly as an LSP.=C2=A0 To be clear, I&#39;m not say=
ing skip the patch, I&#39;m saying let&#39;s also encourage integration und=
er a multiplexing LSP.</div></div></div>

--00000000000099bd4d06357ab8b3--




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

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


Received: (at submit) by debbugs.gnu.org; 19 May 2025 08:05:15 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon May 19 04:05:15 2025
Received: from localhost ([127.0.0.1]:37059 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1uGvUn-0004ws-2z
	for submit <at> debbugs.gnu.org; Mon, 19 May 2025 04:05:15 -0400
Received: from lists.gnu.org ([2001:470:142::17]:38892)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <jostein@HIDDEN>)
 id 1uGvUi-0004vL-Cj
 for submit <at> debbugs.gnu.org; Mon, 19 May 2025 04:05:10 -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 <jostein@HIDDEN>)
 id 1uGvUG-0008UE-U8
 for bug-gnu-emacs@HIDDEN; Mon, 19 May 2025 04:04:41 -0400
Received: from fhigh-a8-smtp.messagingengine.com ([103.168.172.159])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <jostein@HIDDEN>)
 id 1uGvUC-0008Q1-BJ
 for bug-gnu-emacs@HIDDEN; Mon, 19 May 2025 04:04:40 -0400
Received: from phl-compute-09.internal (phl-compute-09.phl.internal
 [10.202.2.49])
 by mailfhigh.phl.internal (Postfix) with ESMTP id 54FDA1140084
 for <bug-gnu-emacs@HIDDEN>; Mon, 19 May 2025 04:04:33 -0400 (EDT)
Received: from phl-mailfrontend-01 ([10.202.2.162])
 by phl-compute-09.internal (MEProxy); Mon, 19 May 2025 04:04:33 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=
 secure.kjonigsen.net; h=cc:content-type:content-type:date:date
 :from:from:in-reply-to:message-id:mime-version:reply-to:subject
 :subject:to:to; s=fm2; t=1747641873; x=1747728273; bh=wDvnHcCQz6
 mRDFGTr5OfjRzTyVVwBLTUk2j+thCVp1o=; b=wWPuWsupZhRbPTG+nJCb8xrc4v
 a1LXyJ0K0+W++fNOsM4WI9xGbmF7ANfvknyf2MiDAiBgs2tyc6An9Jo5xfYjDLTK
 zUITWY4qnWRAbqeOt9X5/WT2SCji5QZF22FcwJ6LcmJa0fkfmfSBBo8i5JY7YpMS
 5RlE0U5UrYqWaF1RS3oGtImcHuO+4kOsd220fHTmknwJfhSJRztiSHhg6+9jT8A3
 XxN9QbVP1gIGdvLn1t23lnbblzxhZ1kpZrIV9Ac+ubdutUh2o6y2ts7aqf7BNKXc
 AEM+pAU1P3hTUxfHmWswnDWgqwJknqXs2dLg1L/6kgAjkqLVco87VJ4jz8Mw==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=
 messagingengine.com; h=cc:content-type:content-type:date:date
 :feedback-id:feedback-id:from:from:in-reply-to:message-id
 :mime-version:reply-to:subject:subject:to:to:x-me-proxy
 :x-me-sender:x-me-sender:x-sasl-enc; s=fm3; t=1747641873; x=
 1747728273; bh=wDvnHcCQz6mRDFGTr5OfjRzTyVVwBLTUk2j+thCVp1o=; b=n
 cG1HRzYToUePsl/YQVfdpTbtliZHT8RHgabI9h6cAkNx+VDCsD2dxTFKomDk/SbS
 6WwuZsMwQQ34KlSqWbYNEP/bnWVQKwWgh2LlMQ03jYttcdwLRbYD9CwPQX+FvCh6
 kqBtHhJ/MfldIinHOOB6ANc61g1L2i3VoAeUmoHUah9K/Wf7viEwJZLvhtGiRFpc
 694DPgC6zi1HOYg2W8ueXL4n1LuPwn0oZPt6sggxcDkvhRAHgDhkXSuCrIfa7GUd
 0RCBMcbmIQqT/ibR9/+fdZpakiwAXFM57m7djRAFprm1s5xf/ymMEqfGVio5dV71
 QYlPVBeK+8+ECKpXzlHJQ==
X-ME-Sender: <xms:EeYqaMBd2mMejaaIlb0BwVm5mjf1_51io-mwjEyC3GyV6po8iVL_yA>
 <xme:EeYqaOiGKunUhq1xcFNnIntFv4Bj4moR5kXxB8fJWI2HoNILmB2geuG7h_KS-WcU7
 wMf9db7N-t2_XT90w>
X-ME-Received: <xmr:EeYqaPk4kAGcLk-m04FLCkk_7YMo8bmSs9GB9MC1iOo37ccjaA30dtNBWWB0Hbzw4_AFxQEJS31WdwXLszw0thH7pMyOZqddCQ>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeefvddrtddtgdefvddtkeehucetufdoteggodetrf
 dotffvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgfnhhsuhgsshgtrhhisggv
 pdfurfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttdenucenucfjughrpefhtg
 gguffkfffvofesrgdtmherhhdtvdenucfhrhhomheplfhoshhtvghinhcumfhjpphnihhg
 shgvnhcuoehjohhsthgvihhnsehsvggtuhhrvgdrkhhjohhnihhgshgvnhdrnhgvtheqne
 cuggftrfgrthhtvghrnhepfeegieefiefhgfeugfekveefiedujeeviedtveeuhfehheev
 udfhteetvdehkedvnecuffhomhgrihhnpehgihhthhhusgdrtghomhenucevlhhushhtvg
 hrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpehjohhsthgvihhnsehsvggt
 uhhrvgdrkhhjohhnihhgshgvnhdrnhgvthdpnhgspghrtghpthhtohepuddpmhhouggvpe
 hsmhhtphhouhhtpdhrtghpthhtohepsghughdqghhnuhdqvghmrggtshesghhnuhdrohhr
 gh
X-ME-Proxy: <xmx:EeYqaCxkB_YjUV6yk2w5cgWYBiqC_c1FblH55GCBryGnQsNAip8olQ>
 <xmx:EeYqaBTz-CHxJy7Nt9PmSVWhwUsiZJgNyCCpbUhRnNQRnDVQAhFGUg>
 <xmx:EeYqaNYTuhBxhy4w8Voxlu8VieiSvmAdHdzchjG3bn7EGKj8Ilneow>
 <xmx:EeYqaKRH8pw_l_m4Se-PwulNI2NxjicT3FU9R03Moao1MvQQvxVVzw>
 <xmx:EeYqaCSbY5xXsGXc4TfXE6TKsaLkrNmsgkbzWcx5jcumyRvhVcQC1jto>
Feedback-ID: ib2f84088:Fastmail
Received: by mail.messagingengine.com (Postfix) with ESMTPA for
 <bug-gnu-emacs@HIDDEN>; Mon, 19 May 2025 04:04:30 -0400 (EDT)
From: =?utf-8?Q?Jostein_Kj=C3=B8nigsen?= <jostein@HIDDEN>
Content-Type: multipart/alternative;
 boundary="Apple-Mail=_7C69EE4E-479D-41C4-815E-FC6FD5CB3DD5"
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.500.181.1.5\))
Subject: [PATCH] 31.0.50; eglot.el does not support pyrefly LSP server (python)
Message-Id: <9BD361AB-C370-491F-B1B3-566D81099B01@HIDDEN>
Date: Mon, 19 May 2025 10:04:18 +0200
To: bug-gnu-emacs@HIDDEN
X-Mailer: Apple Mail (2.3826.500.181.1.5)
Received-SPF: pass client-ip=103.168.172.159;
 envelope-from=jostein@HIDDEN;
 helo=fhigh-a8-smtp.messagingengine.com
X-Spam_score_int: -26
X-Spam_score: -2.7
X-Spam_bar: --
X-Spam_report: (-2.7 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HTML_MESSAGE=0.001,
 RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H2=-0.01,
 RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001,
 SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.7 (/)
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.3 (/)


--Apple-Mail=_7C69EE4E-479D-41C4-815E-FC6FD5CB3DD5
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8

Hey everyone.

There's a new, fast combined type-checker and LSP-server available for =
Python called "pyrefly". The source can be found here:
https://github.com/facebook/pyrefly

Currently it's not possible to use this LSP-server with eglot, due to =
missing configuration.

Attached is a patch which fixes this.

--
Kind regards
Jostein

=EF=BF=BC



In GNU Emacs 31.0.50 (build 5, aarch64-apple-darwin24.4.0, NS
 appkit-2575.50 Version 15.4.1 (Build 24E263)) of 2025-05-11 built on
 SOK67R3KWV97
Repository revision: 72ec1c2da4e6108175fc93e33ec92eec4bd1296e
Repository branch: master
Windowing system distributor 'Apple', version 10.3.2575
System Description:  macOS 15.4.1

Configured using:
 'configure --with-tree-sitter --with-native-compilation
 --with-imagemagick --with-harfbuzz
 PKG_CONFIG_PATH=3D:/usr/local/lib/pkgconfig:/opt/local/lib/pkgconfig'

Configured features:
ACL GLIB GNUTLS IMAGEMAGICK LCMS2 LIBXML2 MODULES NATIVE_COMP NOTIFY
KQUEUE NS PDUMPER PNG RSVG SQLITE3 THREADS TOOLKIT_SCROLL_BARS
TREE_SITTER WEBP XIM ZLIB

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

Major mode: Elisp/l

Minor modes in effect:
  bug-reference-prog-mode: t
  global-git-commit-mode: t
  magit-auto-revert-mode: t
  pyvenv-tracking-mode: t
  elisp-slime-nav-mode: t
  paredit-mode: t
  highlight-symbol-mode: t
  flycheck-mode: t
  indent-bars-mode: t
  completion-preview-mode: t
  delete-selection-mode: t
  global-auto-revert-mode: t
  editorconfig-mode: t
  all-the-icons-completion-mode: t
  marginalia-mode: t
  vertico-mode: t
  global-nlinum-mode: t
  nlinum-mode: t
  override-global-mode: t
  server-mode: t
  global-hl-line-mode: t
  pixel-scroll-precision-mode: t
  doom-modeline-mode: t
  tooltip-mode: t
  global-eldoc-mode: t
  eldoc-mode: t
  show-paren-mode: t
  electric-indent-mode: t
  mouse-wheel-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  global-font-lock-mode: t
  font-lock-mode: t
  blink-cursor-mode: t
  minibuffer-regexp-mode: t
  column-number-mode: t
  line-number-mode: t
  transient-mark-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t
  hs-minor-mode: t

Load-path shadows:
/Users/josteink/.emacs.d/elpa/ef-themes-1.9.0/theme-loaddefs hides =
/Users/josteink/.emacs.d/elpa/modus-themes-20250220.647/theme-loaddefs
/Users/josteink/.emacs.d/elpa/transient-20250301.2218/transient hides =
/Users/josteink/build/emacs/lisp/transient
/Users/josteink/.emacs.d/elpa/ef-themes-1.9.0/theme-loaddefs hides =
/Users/josteink/build/emacs/lisp/theme-loaddefs

Features:
(shadow sort mail-extr emacsbug lisp-mnt whitespace js toml-ts-mode
dockerfile-ts-mode yaml-ts-mode magit-patch magit-subtree
magit-gitignore magit-ediff ediff ediff-merg ediff-mult ediff-wind
ediff-diff ediff-help ediff-init ediff-util shr-color textsec
uni-scripts idna-mapping uni-confusable textsec-check network-stream
url-http url-gw nsm url-cache url-auth sql view em-unix em-term term
ehelp em-script em-prompt em-pred em-ls em-hist em-glob em-extpipe
em-cmpl em-dirs em-basic em-banner em-alias esh-mode esh-var macros
consult-imenu tabify conf-mode make-mode json-ts-mode ido rng-xsd
xsd-regexp rng-cmpct rng-nxml rng-valid rng-loc rng-uri rng-parse
nxml-parse rng-match rng-dt rng-util rng-pttrn nxml-ns nxml-mode
nxml-outln nxml-rap nxml-util nxml-enc xmltok dired-aux goto-addr
git-rebase magit-extras vc-hg vc-bzr vc-src vc-sccs vc-svn vc-cvs vc-rcs
log-view vc bug-reference misearch multi-isearch csharp-mode c-ts-common
cc-langs cc-mode cc-fonts cc-guess cc-menus cc-cmds cc-styles cc-align
cc-engine cc-vars cc-defs magit-bookmark magit-submodule magit-blame
magit-stash magit-reflog magit-bisect magit-push magit-pull magit-fetch
magit-clone magit-remote magit-commit magit-sequence magit-notes
magit-worktree magit-tag magit-merge magit-branch magit-reset
magit-files magit-refs magit-status magit magit-repos magit-apply
magit-wip magit-log which-func magit-diff smerge-mode git-commit
log-edit pcvs-util add-log magit-core magit-autorevert magit-margin
magit-transient magit-process with-editor magit-mode benchmark magit-git
magit-base magit-section cursor-sensor crm llama markdown-mode
edit-indirect pyvenv eshell esh-cmd esh-ext esh-proc esh-opt esh-io
esh-arg esh-module esh-module-loaddefs esh-util help-fns radix-tree pet
let-alist elec-pair vc-git vc-dispatcher pulse disp-table oc-basic
ol-eww ol-rmail ol-mhe ol-irc ol-info ol-gnus nnselect gnus-art mm-uu
mml2015 mm-view mml-smime smime gnutls dig gnus-sum gnus-group gnus-undo
gnus-start gnus-dbus dbus gnus-cloud nnimap nnmail mail-source utf7 nnoo
gnus-spec gnus-int gnus-range message sendmail yank-media rfc822 mml
mml-sec epa derived epg rfc6068 epg-config mm-decode mm-bodies mm-encode
mail-parse rfc2231 rfc2047 rfc2045 ietf-drums mailabbrev gmm-utils
mailheader gnus-win ol-docview doc-view jka-compr image-mode exif dired
dired-loaddefs ol-bibtex bibtex ol-bbdb ol-w3m ol-doi org-link-doi
org-agenda elisp-slime-nav etags fileloop paredit highlight-symbol
flycheck indent-bars-ts indent-bars cus-edit cus-start cus-load
face-remap color powershell eglot tree-widget external-completion
jsonrpc flymake diff ert ewoc debug backtrace completion-preview
hideshow eww vtable url-queue shr pixel-fill kinsoku url-file svg xml
puny mm-url gnus nnheader gnus-util mail-utils range wid-edit mm-util
mail-prsvr tramp trampver tramp-integration tramp-message tramp-compat
shell parse-time iso8601 tramp-loaddefs imenu ob-plantuml delsel
autorevert filenotify embark-org org-element org-persist org-id
org-refile org-element-ast inline avl-tree org ob ob-tangle ob-ref
ob-lob ob-table ob-exp org-macro org-src sh-script smie executable
ob-comint org-pcomplete pcomplete org-list org-footnote org-faces
org-entities noutline outline org-version ob-emacs-lisp ob-core ob-eval
org-cycle org-table ol org-fold org-fold-core org-keys oc org-loaddefs
find-func cal-menu calendar cal-loaddefs org-compat org-macs
bicep-ts-mode editorconfig editorconfig-core editorconfig-core-handle
editorconfig-fnmatch embark-consult consult bookmark embark ffap
orderless all-the-icons-completion marginalia vertico nlinum linum
use-package-bind-key bind-key server hl-line pixel-scroll cua-base
all-the-icons all-the-icons-faces data-material data-weathericons
data-octicons data-fileicons data-faicons data-alltheicons doom-modeline
doom-modeline-segments doom-modeline-env doom-modeline-core shrink-path
f s dash nerd-icons nerd-icons-faces nerd-icons-data
nerd-icons-data-mdicon nerd-icons-data-flicon nerd-icons-data-codicon
nerd-icons-data-devicon nerd-icons-data-sucicon nerd-icons-data-wicon
nerd-icons-data-faicon nerd-icons-data-powerline nerd-icons-data-octicon
nerd-icons-data-pomicon nerd-icons-data-ipsicon dracula-theme
use-package-ensure use-package-core finder-inf
all-the-icons-completion-autoloads all-the-icons-autoloads
bicep-ts-mode-autoloads bmx-mode-autoloads cargo-autoloads
cmake-mode-autoloads color-theme-sanityinc-tomorrow-autoloads
combobulate-autoloads combobulate-go combobulate-json combobulate-yaml
combobulate-css combobulate-js-ts combobulate-python combobulate-html
combobulate-toml combobulate-cursor multiple-cursors
mc-separate-operations rectangular-region-mode mc-mark-pop mc-edit-lines
mc-hide-unmatched-lines-mode mc-mark-more sgml-mode facemenu dom
thingatpt mc-cycle-cursors multiple-cursors-core advice compile
text-property-search time-date comp comp-cstr cl-extra help-mode
warnings comp-run comp-common rect combobulate-query savehist xref
files-x scheme combobulate-ui transient pp format-spec edmacro kmacro
combobulate-display combobulate-ztree combobulate-envelope
combobulate-manipulation python rx project compat comint ansi-osc ring
ansi-color combobulate-procedure combobulate-navigation combobulate-misc
combobulate-setup tempo combobulate-interface combobulate-settings
diff-mode track-changes easy-mmode treesit generator combobulate-rules
company-autoloads copilot-mode-autoloads crontab-mode-autoloads
dap-mode-autoloads bui-autoloads doom-modeline-autoloads
doom-themes-autoloads dracula-theme-autoloads edit-indirect-autoloads
ef-themes-autoloads elisp-slime-nav-autoloads embark-consult-autoloads
consult-autoloads embark-autoloads expand-region-autoloads
flycheck-autoloads highlight-symbol-autoloads indent-bars-autoloads
lsp-docker-autoloads lsp-treemacs-autoloads lsp-mode-autoloads
magit-autoloads pcase magit-section-autoloads llama-autoloads
marginalia-autoloads markdown-mode-autoloads modus-themes-autoloads
multiple-cursors-autoloads nerd-icons-autoloads nlinum-autoloads
orderless-autoloads paredit-autoloads pet-autoloads poetry-autoloads
powershell-autoloads pyvenv-autoloads shrink-path-autoloads f-autoloads
spinner-autoloads transient-autoloads treemacs-autoloads cfrs-autoloads
posframe-autoloads ht-autoloads hydra-autoloads lv-autoloads
pfuture-autoloads ace-window-autoloads avy-autoloads s-autoloads
dash-autoloads undo-tree-autoloads queue-autoloads vertico-autoloads
wgrep-autoloads info with-editor-autoloads wsd-mode-autoloads
yaml-autoloads package browse-url xdg url url-proxy url-privacy
url-expand url-methods url-history url-cookie generate-lisp-file
url-domsuf url-util mailcap url-handlers url-parse auth-source cl-seq
eieio eieio-core cl-macs icons password-cache json subr-x map byte-opt
gv bytecomp byte-compile url-vars 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 kqueue cocoa ns lcms2 multi-tty make-network-process
tty-child-frames native-compile emacs)

Memory information:
((conses 16 2447555 344847) (symbols 48 66002 446)
 (strings 32 489686 14498) (string-bytes 1 14263771)
 (vectors 16 207782) (vector-slots 8 2952963 361044)
 (floats 8 6404 19011) (intervals 56 167341 9068) (buffers 1064 146))


--Apple-Mail=_7C69EE4E-479D-41C4-815E-FC6FD5CB3DD5
Content-Type: multipart/mixed;
	boundary="Apple-Mail=_7FA4640F-D707-4DA2-9F2F-D019F1147E17"


--Apple-Mail=_7FA4640F-D707-4DA2-9F2F-D019F1147E17
Content-Transfer-Encoding: 7bit
Content-Type: text/html;
	charset=us-ascii

<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div>Hey everyone.</div><div><br></div><div>There's a new, fast combined type-checker and LSP-server available for Python called "pyrefly". The source can be found here:</div><div><a href="https://github.com/facebook/pyrefly">https://github.com/facebook/pyrefly</a><br></div><div><br></div><div>Currently it's not possible to use this LSP-server with eglot, due to missing configuration.</div><div><br></div><div>Attached is a patch which fixes this.</div><div><br></div><div>--</div><div>Kind regards</div><div>Jostein</div><div><br></div><div></div></body></html>
--Apple-Mail=_7FA4640F-D707-4DA2-9F2F-D019F1147E17
Content-Disposition: attachment;
	filename=0001-eglot.el-Add-supprt-for-Pyrefly-LSP-for-Python.patch
Content-Type: application/octet-stream;
	x-unix-mode=0644;
	name="0001-eglot.el-Add-supprt-for-Pyrefly-LSP-for-Python.patch"
Content-Transfer-Encoding: quoted-printable

=46rom=20dd35530de78ec54ee68eb9f93367fe9ccf2868d8=20Mon=20Sep=2017=20=
00:00:00=202001=0AFrom:=20=3D?UTF-8?q?Jostein=3D20Kj=3DC3=3DB8nigsen?=3D=20=
<jostein@HIDDEN>=0ADate:=20Mon,=2019=20May=202025=2010:00:37=20=
+0200=0ASubject:=20[PATCH]=20eglot.el:=20Add=20supprt=20for=20Pyrefly=20=
LSP=20for=20Python.=0A=0Aeglot-server-programs:=20Add=20config=20for=20=
Pyrefly.=0A---=0A=20lisp/progmodes/eglot.el=20|=201=20+=0A=201=20file=20=
changed,=201=20insertion(+)=0A=0Adiff=20--git=20=
a/lisp/progmodes/eglot.el=20b/lisp/progmodes/eglot.el=0Aindex=20=
04d3f74a6cb..25a3458b46f=20100644=0A---=20a/lisp/progmodes/eglot.el=0A=
+++=20b/lisp/progmodes/eglot.el=0A@@=20-250,6=20+250,7=20@@=20=
eglot-server-programs=0A=20=20=20=20=20=20.=20,(eglot-alternatives=0A=20=20=
=20=20=20=20=20=20=20=20'("pylsp"=20"pyls"=20("basedpyright-langserver"=20=
"--stdio")=0A=20=20=20=20=20=20=20=20=20=20=20=20("pyright-langserver"=20=
"--stdio")=0A+=20=20=20=20=20=20=20=20=20=20=20("pyrefly"=20"lsp")=0A=20=20=
=20=20=20=20=20=20=20=20=20=20"jedi-language-server"=20("ruff"=20=
"server")=20"ruff-lsp")))=0A=20=20=20=20=20((js-json-mode=20json-mode=20=
json-ts-mode=20jsonc-mode)=0A=20=20=20=20=20=20.=20,(eglot-alternatives=20=
'(("vscode-json-language-server"=20"--stdio")=0A--=20=0A2.49.0=0A=0A=

--Apple-Mail=_7FA4640F-D707-4DA2-9F2F-D019F1147E17
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=us-ascii

<html><head><meta http-equiv=3D"content-type" content=3D"text/html; =
charset=3Dus-ascii"></head><body style=3D"overflow-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: =
after-white-space;"><div></div><div><br></div><div><br></div><div><br></di=
v><div>In GNU Emacs 31.0.50 (build 5, aarch64-apple-darwin24.4.0, =
NS</div><div>&nbsp;appkit-2575.50 Version 15.4.1 (Build 24E263)) of =
2025-05-11 built on</div><div>&nbsp;SOK67R3KWV97</div><div>Repository =
revision: 72ec1c2da4e6108175fc93e33ec92eec4bd1296e</div><div>Repository =
branch: master</div><div>Windowing system distributor 'Apple', version =
10.3.2575</div><div>System Description: &nbsp;macOS =
15.4.1</div><div><br></div><div>Configured =
using:</div><div>&nbsp;'configure --with-tree-sitter =
--with-native-compilation</div><div>&nbsp;--with-imagemagick =
--with-harfbuzz</div><div>&nbsp;PKG_CONFIG_PATH=3D:/usr/local/lib/pkgconfi=
g:/opt/local/lib/pkgconfig'</div><div><br></div><div>Configured =
features:</div><div>ACL GLIB GNUTLS IMAGEMAGICK LCMS2 LIBXML2 MODULES =
NATIVE_COMP NOTIFY</div><div>KQUEUE NS PDUMPER PNG RSVG SQLITE3 THREADS =
TOOLKIT_SCROLL_BARS</div><div>TREE_SITTER WEBP XIM =
ZLIB</div><div><br></div><div>Important settings:</div><div>&nbsp; value =
of $LC_ALL: en_US.UTF-8</div><div>&nbsp; value of $LC_CTYPE: =
UTF-8</div><div>&nbsp; value of $LANG: en_US.UTF-8</div><div>&nbsp; =
locale-coding-system: utf-8-unix</div><div><br></div><div>Major mode: =
Elisp/l</div><div><br></div><div>Minor modes in effect:</div><div>&nbsp; =
bug-reference-prog-mode: t</div><div>&nbsp; global-git-commit-mode: =
t</div><div>&nbsp; magit-auto-revert-mode: t</div><div>&nbsp; =
pyvenv-tracking-mode: t</div><div>&nbsp; elisp-slime-nav-mode: =
t</div><div>&nbsp; paredit-mode: t</div><div>&nbsp; =
highlight-symbol-mode: t</div><div>&nbsp; flycheck-mode: =
t</div><div>&nbsp; indent-bars-mode: t</div><div>&nbsp; =
completion-preview-mode: t</div><div>&nbsp; delete-selection-mode: =
t</div><div>&nbsp; global-auto-revert-mode: t</div><div>&nbsp; =
editorconfig-mode: t</div><div>&nbsp; all-the-icons-completion-mode: =
t</div><div>&nbsp; marginalia-mode: t</div><div>&nbsp; vertico-mode: =
t</div><div>&nbsp; global-nlinum-mode: t</div><div>&nbsp; nlinum-mode: =
t</div><div>&nbsp; override-global-mode: t</div><div>&nbsp; server-mode: =
t</div><div>&nbsp; global-hl-line-mode: t</div><div>&nbsp; =
pixel-scroll-precision-mode: t</div><div>&nbsp; doom-modeline-mode: =
t</div><div>&nbsp; tooltip-mode: t</div><div>&nbsp; global-eldoc-mode: =
t</div><div>&nbsp; eldoc-mode: t</div><div>&nbsp; show-paren-mode: =
t</div><div>&nbsp; electric-indent-mode: t</div><div>&nbsp; =
mouse-wheel-mode: t</div><div>&nbsp; menu-bar-mode: t</div><div>&nbsp; =
file-name-shadow-mode: t</div><div>&nbsp; global-font-lock-mode: =
t</div><div>&nbsp; font-lock-mode: t</div><div>&nbsp; blink-cursor-mode: =
t</div><div>&nbsp; minibuffer-regexp-mode: t</div><div>&nbsp; =
column-number-mode: t</div><div>&nbsp; line-number-mode: =
t</div><div>&nbsp; transient-mark-mode: t</div><div>&nbsp; =
auto-composition-mode: t</div><div>&nbsp; auto-encryption-mode: =
t</div><div>&nbsp; auto-compression-mode: t</div><div>&nbsp; =
hs-minor-mode: t</div><div><br></div><div>Load-path =
shadows:</div><div>/Users/josteink/.emacs.d/elpa/ef-themes-1.9.0/theme-loa=
ddefs hides =
/Users/josteink/.emacs.d/elpa/modus-themes-20250220.647/theme-loaddefs</di=
v><div>/Users/josteink/.emacs.d/elpa/transient-20250301.2218/transient =
hides =
/Users/josteink/build/emacs/lisp/transient</div><div>/Users/josteink/.emac=
s.d/elpa/ef-themes-1.9.0/theme-loaddefs hides =
/Users/josteink/build/emacs/lisp/theme-loaddefs</div><div><br></div><div>F=
eatures:</div><div>(shadow sort mail-extr emacsbug lisp-mnt whitespace =
js toml-ts-mode</div><div>dockerfile-ts-mode yaml-ts-mode magit-patch =
magit-subtree</div><div>magit-gitignore magit-ediff ediff ediff-merg =
ediff-mult ediff-wind</div><div>ediff-diff ediff-help ediff-init =
ediff-util shr-color textsec</div><div>uni-scripts idna-mapping =
uni-confusable textsec-check network-stream</div><div>url-http url-gw =
nsm url-cache url-auth sql view em-unix em-term term</div><div>ehelp =
em-script em-prompt em-pred em-ls em-hist em-glob =
em-extpipe</div><div>em-cmpl em-dirs em-basic em-banner em-alias =
esh-mode esh-var macros</div><div>consult-imenu tabify conf-mode =
make-mode json-ts-mode ido rng-xsd</div><div>xsd-regexp rng-cmpct =
rng-nxml rng-valid rng-loc rng-uri rng-parse</div><div>nxml-parse =
rng-match rng-dt rng-util rng-pttrn nxml-ns =
nxml-mode</div><div>nxml-outln nxml-rap nxml-util nxml-enc xmltok =
dired-aux goto-addr</div><div>git-rebase magit-extras vc-hg vc-bzr =
vc-src vc-sccs vc-svn vc-cvs vc-rcs</div><div>log-view vc bug-reference =
misearch multi-isearch csharp-mode c-ts-common</div><div>cc-langs =
cc-mode cc-fonts cc-guess cc-menus cc-cmds cc-styles =
cc-align</div><div>cc-engine cc-vars cc-defs magit-bookmark =
magit-submodule magit-blame</div><div>magit-stash magit-reflog =
magit-bisect magit-push magit-pull magit-fetch</div><div>magit-clone =
magit-remote magit-commit magit-sequence =
magit-notes</div><div>magit-worktree magit-tag magit-merge magit-branch =
magit-reset</div><div>magit-files magit-refs magit-status magit =
magit-repos magit-apply</div><div>magit-wip magit-log which-func =
magit-diff smerge-mode git-commit</div><div>log-edit pcvs-util add-log =
magit-core magit-autorevert magit-margin</div><div>magit-transient =
magit-process with-editor magit-mode benchmark =
magit-git</div><div>magit-base magit-section cursor-sensor crm llama =
markdown-mode</div><div>edit-indirect pyvenv eshell esh-cmd esh-ext =
esh-proc esh-opt esh-io</div><div>esh-arg esh-module esh-module-loaddefs =
esh-util help-fns radix-tree pet</div><div>let-alist elec-pair vc-git =
vc-dispatcher pulse disp-table oc-basic</div><div>ol-eww ol-rmail ol-mhe =
ol-irc ol-info ol-gnus nnselect gnus-art mm-uu</div><div>mml2015 mm-view =
mml-smime smime gnutls dig gnus-sum gnus-group =
gnus-undo</div><div>gnus-start gnus-dbus dbus gnus-cloud nnimap nnmail =
mail-source utf7 nnoo</div><div>gnus-spec gnus-int gnus-range message =
sendmail yank-media rfc822 mml</div><div>mml-sec epa derived epg rfc6068 =
epg-config mm-decode mm-bodies mm-encode</div><div>mail-parse rfc2231 =
rfc2047 rfc2045 ietf-drums mailabbrev gmm-utils</div><div>mailheader =
gnus-win ol-docview doc-view jka-compr image-mode exif =
dired</div><div>dired-loaddefs ol-bibtex bibtex ol-bbdb ol-w3m ol-doi =
org-link-doi</div><div>org-agenda elisp-slime-nav etags fileloop paredit =
highlight-symbol</div><div>flycheck indent-bars-ts indent-bars cus-edit =
cus-start cus-load</div><div>face-remap color powershell eglot =
tree-widget external-completion</div><div>jsonrpc flymake diff ert ewoc =
debug backtrace completion-preview</div><div>hideshow eww vtable =
url-queue shr pixel-fill kinsoku url-file svg xml</div><div>puny mm-url =
gnus nnheader gnus-util mail-utils range wid-edit =
mm-util</div><div>mail-prsvr tramp trampver tramp-integration =
tramp-message tramp-compat</div><div>shell parse-time iso8601 =
tramp-loaddefs imenu ob-plantuml delsel</div><div>autorevert filenotify =
embark-org org-element org-persist org-id</div><div>org-refile =
org-element-ast inline avl-tree org ob ob-tangle ob-ref</div><div>ob-lob =
ob-table ob-exp org-macro org-src sh-script smie =
executable</div><div>ob-comint org-pcomplete pcomplete org-list =
org-footnote org-faces</div><div>org-entities noutline outline =
org-version ob-emacs-lisp ob-core ob-eval</div><div>org-cycle org-table =
ol org-fold org-fold-core org-keys oc org-loaddefs</div><div>find-func =
cal-menu calendar cal-loaddefs org-compat =
org-macs</div><div>bicep-ts-mode editorconfig editorconfig-core =
editorconfig-core-handle</div><div>editorconfig-fnmatch embark-consult =
consult bookmark embark ffap</div><div>orderless =
all-the-icons-completion marginalia vertico nlinum =
linum</div><div>use-package-bind-key bind-key server hl-line =
pixel-scroll cua-base</div><div>all-the-icons all-the-icons-faces =
data-material data-weathericons</div><div>data-octicons data-fileicons =
data-faicons data-alltheicons =
doom-modeline</div><div>doom-modeline-segments doom-modeline-env =
doom-modeline-core shrink-path</div><div>f s dash nerd-icons =
nerd-icons-faces nerd-icons-data</div><div>nerd-icons-data-mdicon =
nerd-icons-data-flicon =
nerd-icons-data-codicon</div><div>nerd-icons-data-devicon =
nerd-icons-data-sucicon =
nerd-icons-data-wicon</div><div>nerd-icons-data-faicon =
nerd-icons-data-powerline =
nerd-icons-data-octicon</div><div>nerd-icons-data-pomicon =
nerd-icons-data-ipsicon dracula-theme</div><div>use-package-ensure =
use-package-core finder-inf</div><div>all-the-icons-completion-autoloads =
all-the-icons-autoloads</div><div>bicep-ts-mode-autoloads =
bmx-mode-autoloads cargo-autoloads</div><div>cmake-mode-autoloads =
color-theme-sanityinc-tomorrow-autoloads</div><div>combobulate-autoloads =
combobulate-go combobulate-json =
combobulate-yaml</div><div>combobulate-css combobulate-js-ts =
combobulate-python combobulate-html</div><div>combobulate-toml =
combobulate-cursor multiple-cursors</div><div>mc-separate-operations =
rectangular-region-mode mc-mark-pop =
mc-edit-lines</div><div>mc-hide-unmatched-lines-mode mc-mark-more =
sgml-mode facemenu dom</div><div>thingatpt mc-cycle-cursors =
multiple-cursors-core advice compile</div><div>text-property-search =
time-date comp comp-cstr cl-extra help-mode</div><div>warnings comp-run =
comp-common rect combobulate-query savehist xref</div><div>files-x =
scheme combobulate-ui transient pp format-spec edmacro =
kmacro</div><div>combobulate-display combobulate-ztree =
combobulate-envelope</div><div>combobulate-manipulation python rx =
project compat comint ansi-osc ring</div><div>ansi-color =
combobulate-procedure combobulate-navigation =
combobulate-misc</div><div>combobulate-setup tempo combobulate-interface =
combobulate-settings</div><div>diff-mode track-changes easy-mmode =
treesit generator combobulate-rules</div><div>company-autoloads =
copilot-mode-autoloads =
crontab-mode-autoloads</div><div>dap-mode-autoloads bui-autoloads =
doom-modeline-autoloads</div><div>doom-themes-autoloads =
dracula-theme-autoloads =
edit-indirect-autoloads</div><div>ef-themes-autoloads =
elisp-slime-nav-autoloads =
embark-consult-autoloads</div><div>consult-autoloads embark-autoloads =
expand-region-autoloads</div><div>flycheck-autoloads =
highlight-symbol-autoloads =
indent-bars-autoloads</div><div>lsp-docker-autoloads =
lsp-treemacs-autoloads lsp-mode-autoloads</div><div>magit-autoloads =
pcase magit-section-autoloads =
llama-autoloads</div><div>marginalia-autoloads markdown-mode-autoloads =
modus-themes-autoloads</div><div>multiple-cursors-autoloads =
nerd-icons-autoloads nlinum-autoloads</div><div>orderless-autoloads =
paredit-autoloads pet-autoloads =
poetry-autoloads</div><div>powershell-autoloads pyvenv-autoloads =
shrink-path-autoloads f-autoloads</div><div>spinner-autoloads =
transient-autoloads treemacs-autoloads =
cfrs-autoloads</div><div>posframe-autoloads ht-autoloads hydra-autoloads =
lv-autoloads</div><div>pfuture-autoloads ace-window-autoloads =
avy-autoloads s-autoloads</div><div>dash-autoloads undo-tree-autoloads =
queue-autoloads vertico-autoloads</div><div>wgrep-autoloads info =
with-editor-autoloads wsd-mode-autoloads</div><div>yaml-autoloads =
package browse-url xdg url url-proxy url-privacy</div><div>url-expand =
url-methods url-history url-cookie =
generate-lisp-file</div><div>url-domsuf url-util mailcap url-handlers =
url-parse auth-source cl-seq</div><div>eieio eieio-core cl-macs icons =
password-cache json subr-x map byte-opt</div><div>gv bytecomp =
byte-compile url-vars cl-loaddefs cl-lib rmc =
iso-transl</div><div>tooltip cconv eldoc paren electric uniquify =
ediff-hook vc-hooks</div><div>lisp-float-type elisp-mode mwheel =
term/ns-win ns-win ucs-normalize</div><div>mule-util term/common-win =
tool-bar dnd fontset image regexp-opt fringe</div><div>tabulated-list =
replace newcomment text-mode lisp-mode prog-mode register</div><div>page =
tab-bar menu-bar rfn-eshadow isearch easymenu timer =
select</div><div>scroll-bar mouse jit-lock font-lock syntax font-core =
term/tty-colors</div><div>frame minibuffer nadvice seq simple cl-generic =
indonesian philippine</div><div>cham georgian utf-8-lang misc-lang =
vietnamese tibetan thai tai-viet lao</div><div>korean japanese eucjp-ms =
cp51932 hebrew greek romanian slovak czech</div><div>european ethiopic =
indian cyrillic chinese composite emoji-zwj =
charscript</div><div>charprop case-table epa-hook jka-cmpr-hook help =
abbrev obarray oclosure</div><div>cl-preloaded button loaddefs =
theme-loaddefs faces cus-face macroexp</div><div>files window =
text-properties overlay sha1 md5 base64 format env</div><div>code-pages =
mule custom widget keymap hashtable-print-readable =
backquote</div><div>threads kqueue cocoa ns lcms2 multi-tty =
make-network-process</div><div>tty-child-frames native-compile =
emacs)</div><div><br></div><div>Memory information:</div><div>((conses =
16 2447555 344847) (symbols 48 66002 446)</div><div>&nbsp;(strings 32 =
489686 14498) (string-bytes 1 14263771)</div><div>&nbsp;(vectors 16 =
207782) (vector-slots 8 2952963 361044)</div><div>&nbsp;(floats 8 6404 =
19011) (intervals 56 167341 9068) (buffers 1064 =
146))</div><div><br></div></body></html>=

--Apple-Mail=_7FA4640F-D707-4DA2-9F2F-D019F1147E17--

--Apple-Mail=_7C69EE4E-479D-41C4-815E-FC6FD5CB3DD5--




Acknowledgement sent to Jostein Kjønigsen <jostein@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#78492; 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: Mon, 19 May 2025 11:30:02 UTC

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