[vim/vim] vim:runtime:compiler:t'y: add compiler file for Ty type checker (PR #18960)

3 views
Skip to first unread message

Enno

unread,
Dec 18, 2025, 12:46:49 AM (23 hours ago) Dec 18
to vim/vim, Subscribed

This allows for setting the executable and possible parameters as they might differ in different projects as in other compiler files; see ongoing discussion in #18798 and at other places though if preference should rather be given to forking runtime files by the user and barring such customization by user variables to avoid global variable name clashes


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

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

Commit Summary

  • 1f93f6f vim:runtime:compiler:t'y: add compiler file for Ty type checker

File Changes

(3 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/18960@github.com>

Christian Brabandt

unread,
Dec 18, 2025, 3:01:48 PM (9 hours ago) Dec 18
to vim/vim, Subscribed
chrisbra left a comment (vim/vim#18960)

Hm, we have been adding quite a few additional compilers over the last years. Is this really useful? Just want to prevent that our compilers directory becomes a dumping ground of anything that someone found useful over the times at some time


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/18960/c3672013258@github.com>

Enno

unread,
Dec 18, 2025, 4:20:23 PM (8 hours ago) Dec 18
to vim/vim, Subscribed
Konfekt left a comment (vim/vim#18960)

It is supposed to be as useful as mypy/pyright as Python type checkers, an analog to ruff as an alternative to established linters; released a few days ago (15k stars so far). To avoid becoming a dump, would a cleaning pass checking for the popularity of older compiler files help?


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/18960/c3672276558@github.com>

Reply all
Reply to author
Forward
0 new messages