From unknown Fri Aug 15 14:47:06 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#78492 <78492@debbugs.gnu.org> To: bug#78492 <78492@debbugs.gnu.org> Subject: Status: [PATCH] 31.0.50; eglot.el does not support pyrefly LSP server (python) Reply-To: bug#78492 <78492@debbugs.gnu.org> Date: Fri, 15 Aug 2025 21:47:06 +0000 retitle 78492 [PATCH] 31.0.50; eglot.el does not support pyrefly LSP server= (python) reassign 78492 emacs submitter 78492 Jostein Kj=C3=B8nigsen severity 78492 normal tag 78492 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Mon May 19 04:05:15 2025 Received: (at submit) by debbugs.gnu.org; 19 May 2025 08:05:15 +0000 Received: from localhost ([127.0.0.1]:37059 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uGvUn-0004ws-2z for submit@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 ) id 1uGvUi-0004vL-Cj for submit@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 ) id 1uGvUG-0008UE-U8 for bug-gnu-emacs@gnu.org; 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 ) id 1uGvUC-0008Q1-BJ for bug-gnu-emacs@gnu.org; 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 ; 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: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeefvddrtddtgdefvddtkeehucetufdoteggodetrf dotffvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgfnhhsuhgsshgtrhhisggv pdfurfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttdenucenucfjughrpefhtg gguffkfffvofesrgdtmherhhdtvdenucfhrhhomheplfhoshhtvghinhcumfhjpphnihhg shgvnhcuoehjohhsthgvihhnsehsvggtuhhrvgdrkhhjohhnihhgshgvnhdrnhgvtheqne cuggftrfgrthhtvghrnhepfeegieefiefhgfeugfekveefiedujeeviedtveeuhfehheev udfhteetvdehkedvnecuffhomhgrihhnpehgihhthhhusgdrtghomhenucevlhhushhtvg hrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpehjohhsthgvihhnsehsvggt uhhrvgdrkhhjohhnihhgshgvnhdrnhgvthdpnhgspghrtghpthhtohepuddpmhhouggvpe hsmhhtphhouhhtpdhrtghpthhtohepsghughdqghhnuhdqvghmrggtshesghhnuhdrohhr gh X-ME-Proxy: Feedback-ID: ib2f84088:Fastmail Received: by mail.messagingengine.com (Postfix) with ESMTPA for ; Mon, 19 May 2025 04:04:30 -0400 (EDT) From: =?utf-8?Q?Jostein_Kj=C3=B8nigsen?= 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@secure.kjonigsen.net> Date: Mon, 19 May 2025 10:04:18 +0200 To: bug-gnu-emacs@gnu.org X-Mailer: Apple Mail (2.3826.500.181.1.5) Received-SPF: pass client-ip=103.168.172.159; envelope-from=jostein@secure.kjonigsen.net; 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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
Hey everyone.

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

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

--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= =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



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/pkgconfi= g:/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-loa= ddefs 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/.emac= s.d/elpa/ef-themes-1.9.0/theme-loaddefs hides = /Users/josteink/build/emacs/lisp/theme-loaddefs

F= eatures:
(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=_7FA4640F-D707-4DA2-9F2F-D019F1147E17-- --Apple-Mail=_7C69EE4E-479D-41C4-815E-FC6FD5CB3DD5-- From debbugs-submit-bounces@debbugs.gnu.org Mon May 19 06:37:49 2025 Received: (at 78492) by debbugs.gnu.org; 19 May 2025 10:37:49 +0000 Received: from localhost ([127.0.0.1]:37819 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uGxsS-0000H0-Om for submit@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 ) id 1uGxsP-0000GS-Kl for 78492@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@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@secure.kjonigsen.net> In-Reply-To: <9BD361AB-C370-491F-B1B3-566D81099B01@secure.kjonigsen.net> From: Ship Mints Date: Mon, 19 May 2025 06:37:28 -0400 X-Gm-Features: AX0GCFu72P7F_9XQXiXCe1CwGtQYeiLK5kTVADxdhjiIS3PYR_fj20tZboK2MWs Message-ID: 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?= Content-Type: multipart/alternative; boundary="00000000000099bd4d06357ab8b3" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 78492 Cc: 78492@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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@secure.kjonigsen.net> 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
= On Mon, May 19, 2025 at 4:06=E2=80=AFAM Jostein Kj=C3=B8nigsen <jostein@secure.kjonigsen.net&g= t; 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:

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

Attached is a pat= ch which fixes this.

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 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'd get using pyrefly as an LSP.=C2=A0 To be clear, I'm not say= ing skip the patch, I'm saying let's also encourage integration und= er a multiplexing LSP.
--00000000000099bd4d06357ab8b3-- From debbugs-submit-bounces@debbugs.gnu.org Mon May 19 06:51:03 2025 Received: (at 78492) by debbugs.gnu.org; 19 May 2025 10:51:03 +0000 Received: from localhost ([127.0.0.1]:37950 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uGy5H-0001Yn-3o for submit@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 ) id 1uGy5D-0001Xl-VT for 78492@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: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeefvddrtddtgdefvdduudekucetufdoteggodetrf dotffvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgfnhhsuhgsshgtrhhisggv pdfurfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpih gvnhhtshculddquddttddmnecujfgurhephffktgggufffjgevvfhfofesrgdtmherhhdt vdenucfhrhhomheplfhoshhtvghinhcumfhjpphnihhgshgvnhcuoehjohhsthgvihhnse hsvggtuhhrvgdrkhhjohhnihhgshgvnhdrnhgvtheqnecuggftrfgrthhtvghrnhepueeu teefffeigfdtffdvjeduuedtveetleeutdeifeeludegvdeugfeugfefjeeknecuffhomh grihhnpehgihhthhhusgdrtghomhenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgr mhepmhgrihhlfhhrohhmpehjohhsthgvihhnsehsvggtuhhrvgdrkhhjohhnihhgshgvnh drnhgvthdpnhgspghrtghpthhtohepvddpmhhouggvpehsmhhtphhouhhtpdhrtghpthht ohepshhhihhpmhhinhhtshesghhmrghilhdrtghomhdprhgtphhtthhopeejkeegledvse guvggssghughhsrdhgnhhurdhorhhg X-ME-Proxy: 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?= Message-Id: 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: To: Ship Mints References: <9BD361AB-C370-491F-B1B3-566D81099B01@secure.kjonigsen.net> X-Mailer: Apple Mail (2.3826.500.181.1.5) X-Spam-Score: -1.7 (-) X-Debbugs-Envelope-To: 78492 Cc: 78492@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 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
On 19 May = 2025, at 12:37, Ship Mints <shipmints@gmail.com> = 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/pytho= n-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-- From debbugs-submit-bounces@debbugs.gnu.org Mon May 19 06:54:14 2025 Received: (at 78492) by debbugs.gnu.org; 19 May 2025 10:54:14 +0000 Received: from localhost ([127.0.0.1]:37994 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uGy8L-0001mv-2K for submit@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 ) id 1uGy8I-0001m2-Ey for 78492@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@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@secure.kjonigsen.net> In-Reply-To: From: Ship Mints Date: Mon, 19 May 2025 06:53:53 -0400 X-Gm-Features: AX0GCFvjLTWQfHodDJB_hUdKVHaxwO8tGP0Rhz2t5ZuhxlWMv--u-uZ78xxjyQk Message-ID: 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?= Content-Type: multipart/alternative; boundary="0000000000004f100406357af306" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 78492 Cc: 78492@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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@secure.kjonigsen.net> wrote: > > On 19 May 2025, at 12:37, Ship Mints 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
= On Mon, May 19, 2025 at 6:50=E2=80=AFAM Jostein Kj=C3=B8nigsen <jostein@secure.kjonigsen.net&g= t; wrote:

On 19 May 2025, at 12:37, Ship Mints <shipmints@gmail.com> wrote:<= /div>

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 https://github.com/python-lsp/pylsp-mypy).=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'd get = using pyrefly as an LSP.=C2=A0 To be clear, I'm not saying skip the pat= ch, I'm saying let's also encourage integration under a multiplexin= g 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 use= ful, but I don't feel like that's something I'm going to be tak= ing charge of.

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=A0https://github.com/python-lsp/python-= lsp-server/issues

--0000000000004f100406357af306-- From debbugs-submit-bounces@debbugs.gnu.org Mon May 19 07:17:53 2025 Received: (at 78492) by debbugs.gnu.org; 19 May 2025 11:17:53 +0000 Received: from localhost ([127.0.0.1]:38291 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uGyVF-00077L-9C for submit@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 ) id 1uGyVB-00076l-Te for 78492@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: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeefvddrtddtgdefvdduvdegucetufdoteggodetrf dotffvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgfnhhsuhgsshgtrhhisggv pdfurfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpih gvnhhtshculddquddttddmnecujfgurhephffktgggufffjgevvfhfofesrgdtmherhhdt jeenucfhrhhomheplfhoshhtvghinhcumfhjpphnihhgshgvnhcuoehjohhsthgvihhnse hsvggtuhhrvgdrkhhjohhnihhgshgvnhdrnhgvtheqnecuggftrfgrthhtvghrnhepheeg jeeljeejhfdugfevffekieeffeekveekteejteetvefglefhffelteeggfeunecuffhomh grihhnpehgihhthhhusgdrtghomhenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgr mhepmhgrihhlfhhrohhmpehjohhsthgvihhnsehsvggtuhhrvgdrkhhjohhnihhgshgvnh drnhgvthdpnhgspghrtghpthhtohepvddpmhhouggvpehsmhhtphhouhhtpdhrtghpthht ohepshhhihhpmhhinhhtshesghhmrghilhdrtghomhdprhgtphhtthhopeejkeegledvse guvggssghughhsrdhgnhhurdhorhhg X-ME-Proxy: 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?= Message-Id: <0C90E7EF-C601-4428-AD98-C1A2B7DECD98@secure.kjonigsen.net> 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: To: Ship Mints References: <9BD361AB-C370-491F-B1B3-566D81099B01@secure.kjonigsen.net> X-Mailer: Apple Mail (2.3826.500.181.1.5) X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 78492 Cc: 78492@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 wrote: >=20 > On Mon, May 19, 2025 at 6:50=E2=80=AFAM Jostein Kj=C3=B8nigsen = > = wrote: >>=20 >>> On 19 May 2025, at 12:37, Ship Mints > 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
On 19 May = 2025, at 12:53, Ship Mints <shipmints@gmail.com> wrote:

On Mon, May 19, 2025 at = 6:50=E2=80=AFAM Jostein Kj=C3=B8nigsen <jostein@secure.kjonigsen.net<= /a>> 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 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.

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://gi= thub.com/python-lsp/python-lsp-server/issues



Created an issue. It = can be found here:
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-- From debbugs-submit-bounces@debbugs.gnu.org Mon May 19 07:56:27 2025 Received: (at 78492-done) by debbugs.gnu.org; 19 May 2025 11:56:27 +0000 Received: from localhost ([127.0.0.1]:38694 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uGz6Y-0005Ph-Dj for submit@debbugs.gnu.org; Mon, 19 May 2025 07:56:26 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:43264) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uGz6U-0005Or-T6 for 78492-done@debbugs.gnu.org; Mon, 19 May 2025 07:56:23 -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 ) id 1uGz6O-0002IN-KB; Mon, 19 May 2025 07:56:16 -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=jVt/POQolskJcgYA2fAz0lcYe3Uz0//hob5Y8q1iwy4=; b=Kk1wipEQtsPOrz7Iqply cDKuMCC+8uKOUEeMYg10yuyJfXG3e8KFvYC2AilkSf5mCj/fhEEs4D16naa8ZxJqcjjgUp3lIZtjY p8BzZx4NxQRXqKId9d0KYkGeB5sv6GtRm2VO/2L9BgANtwwJrsDJ4B5c4M88oPA3QcK8G/dC1K/2l 3acoIgvCYI4pDqSFBbw5DhkczqUYuOFJrlwWq84gVHVCt6SciRELl6ZoymGCHdwRqaYPv10JlXDAL zKwZbCuWiWNcUFRIgZZUAnOKeqeTpfZ0rrmRAy4QlX5wibLKmAZ6z+HXBs/pi+QXsp0I8cvMxIvIp AHYjA3Z+p/K97g==; Date: Mon, 19 May 2025 14:56:13 +0300 Message-Id: <86frh0ak6a.fsf@gnu.org> From: Eli Zaretskii To: Jostein =?utf-8?Q?Kj=C3=B8nigsen?= In-Reply-To: <9BD361AB-C370-491F-B1B3-566D81099B01@secure.kjonigsen.net> (message from Jostein =?utf-8?Q?Kj=C3=B8nigsen?= on Mon, 19 May 2025 10:04:18 +0200) Subject: Re: bug#78492: [PATCH] 31.0.50; eglot.el does not support pyrefly LSP server (python) References: <9BD361AB-C370-491F-B1B3-566D81099B01@secure.kjonigsen.net> MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 78492-done Cc: 78492-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > From: Jostein Kjønigsen > Date: Mon, 19 May 2025 10:04:18 +0200 > > 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. Thanks, installed on the emacs-30 branch (will be merged to master in a couple of days), and closing the bug. From unknown Fri Aug 15 14:47:06 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 17 Jun 2025 11:24:12 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator