[vim/vim] feat:compiler: add pyrefly and pyright Python type checkers (PR #19017)

5 views
Skip to first unread message

Enno

unread,
Dec 25, 2025, 9:47:48 AM (18 hours ago) Dec 25
to vim/vim, Subscribed

In reference to #18960 (comment)

https://github.com/Microsoft/pyright 15k stars
https://github.com/facebook/pyrefly 5k stars

So not sure, say, the latter, qualifies.
For this reason, for now no documentation added.


You can view, comment on, or merge this pull request online at:

  https://github.com/vim/vim/pull/19017

Commit Summary

  • 219e15d feat:compiler: add pyrefly and pyright Python type checkers

File Changes

(2 files)

Patch Links:


Reply to this email directly, view it on GitHub.
You are receiving this because you are subscribed to this thread.Message ID: <vim/vim/pull/19017@github.com>

vim-dev ML

unread,
Dec 25, 2025, 2:00:05 PM (14 hours ago) Dec 25
to vim/vim, vim-dev ML, Your activity
vim-ml left a comment (vim/vim#19017)
- سأراجع طلب السحب وأقدم الملاحظات.
- أعتقد أن إضافة pyright كافية حاليًا.
- شكرًا على إضافة المدققين، سأدمجها قريبًا..



saleh5515

في الخميس، ٢٥ ديسمبر ٢٠٢٥، ٥:٤٧ م Enno ***@***.***> كتب:

> In reference to #18960 (comment)
> <https://github.com/vim/vim/pull/18960#issuecomment-3679309314>
>
> https://github.com/Microsoft/pyright 15k stars
> https://github.com/facebook/pyrefly 5k stars
>
> So not sure, say, the latter, qualifies.
> For this reason, for now no documentation added.
> ------------------------------
> You can view, comment on, or merge this pull request online at:
>
> https://github.com/vim/vim/pull/19017
> Commit Summary
>
> - 219e15d
> <https://github.com/vim/vim/pull/19017/commits/219e15d1481e5ff0dde08eb8c1487585b0ebc664>
> feat:compiler: add pyrefly and pyright Python type checkers
>
> File Changes
>
> (2 files <https://github.com/vim/vim/pull/19017/files>)
>
> - *A* runtime/compiler/pyrefly.vim
> <https://github.com/vim/vim/pull/19017/files#diff-4b502ae59b52b1d11551e9338303a95156910ee6f31cc6b72383f27df24be051>
> (33)
> - *A* runtime/compiler/pyright.vim
> <https://github.com/vim/vim/pull/19017/files#diff-522ef6b497dfa1837cb3e8d16f5c0a540610d1f871830677ac98cbe01cb8a87f>
> (24)
>
> Patch Links:
>
> - https://github.com/vim/vim/pull/19017.patch
> - https://github.com/vim/vim/pull/19017.diff
>
> —
> Reply to this email directly, view it on GitHub
> <https://github.com/vim/vim/pull/19017>.
> You are receiving this because you are subscribed to this thread.Message
> ID: ***@***.***>
>
> --
> --
> You received this message from the "vim_dev" maillist.
> Do not top-post! Type your reply below the text you are replying to.
> For more information, visit http://www.vim.org/maillist.php
>
> ---
> You received this message because you are subscribed to the Google Groups
> "vim_dev" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ***@***.***
> To view this discussion visit
> https://groups.google.com/d/msgid/vim_dev/vim/vim/pull/19017%40github.com
> <https://groups.google.com/d/msgid/vim_dev/vim/vim/pull/19017%40github.com?utm_medium=email&utm_source=footer>
> .
>


Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <vim/vim/pull/19017/c3691674755@github.com>

Enno

unread,
Dec 25, 2025, 2:41:12 PM (14 hours ago) Dec 25
to vim/vim, vim-dev ML, Comment
Konfekt left a comment (vim/vim#19017)

حصلت عليه، شكرا!


Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you commented.Message ID: <vim/vim/pull/19017/c3691696584@github.com>

Enno

unread,
Dec 25, 2025, 2:42:41 PM (14 hours ago) Dec 25
to vim/vim, vim-dev ML, Comment
Konfekt left a comment (vim/vim#19017)

Maybe of note, regarding makeprg, that besides uv run, uvx, ..., there's also the https://github.com/detachhead/basedpyright variant


Reply to this email directly, view it on GitHub.

You are receiving this because you commented.Message ID: <vim/vim/pull/19017/c3691697273@github.com>

Reply all
Reply to author
Forward
0 new messages