Skip to content

[codex] Ratchet lsp/query.py mypy call checks#574

Merged
jsiek merged 1 commit into
mainfrom
codex/issue-506-lsp-query-call-ratchet
May 15, 2026
Merged

[codex] Ratchet lsp/query.py mypy call checks#574
jsiek merged 1 commit into
mainfrom
codex/issue-506-lsp-query-call-ratchet

Conversation

@jsiek
Copy link
Copy Markdown
Owner

@jsiek jsiek commented May 15, 2026

Summary

  • add a typed boundary helper for calls from lsp/query.py into not-yet-strict Deduce core helpers
  • annotate local query helpers enough to pass warn_return_any and disallow_untyped_calls
  • enforce those two mypy flags for lsp.query in pyproject.toml

Validation

  • python3 -m mypy --warn-return-any lsp/query.py --follow-imports=silent
  • python3 -m mypy --disallow-untyped-calls lsp/query.py --follow-imports=silent
  • python3 -m mypy lsp/query.py --follow-imports=silent
  • python3 -m mypy .
  • python3 -m ruff check .
  • git diff --check
  • make tests

Part of #506.

@jsiek jsiek force-pushed the codex/issue-506-lsp-query-call-ratchet branch from 13f5e7c to 799e065 Compare May 15, 2026 21:15
@jsiek jsiek marked this pull request as ready for review May 15, 2026 21:19
@jsiek jsiek merged commit 50fc4e0 into main May 15, 2026
7 checks passed
@jsiek jsiek deleted the codex/issue-506-lsp-query-call-ratchet branch May 15, 2026 21:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant