Repository navigation

Type checking - #233

Merged

amjith merged 30 commits into

mainfrom

amjith/type-checking

Sep 28, 2025

Merged

Type checking#233
amjith merged 30 commits into
mainfrom
amjith/type-checking

Commits on Aug 17, 2025
- Add typechecking. 1/n
  amjith
  committed
  a864d36
- Add typechecking. 2/n
  amjith
  committed
  618bebf
- Add type hints to prompt_utils.
  amjith
  committed
  ce4c693
- Add type hints to parse_utils.
  amjith
  committed
  bfbe8d4
- Add types for filepaths and completion_engine.
  amjith
  committed
  d62f0f5
- Type hints for packages/special files.
  amjith
  committed
  603f92f
- Type hints for cli_* files.
  amjith
  committed
  ad1d5bf
- Type hints for sqlcompleter.
  amjith
  committed
  80c6873
- Type hints to config.py key_bindings.py and lexer.py
  amjith
  committed
  4205f70
- Type hints for completion_refresher and sqlexecute
  amjith
  committed
  7988113
- Type hint main.py and introduce DBCursor protocol.
  amjith
  committed
  3630c12
- Centralize DBCursor. Remove ignore-errors.
  amjith
  committed
  0c1165e
- Add DBCursor to types.py.
  amjith
  committed
  17b6e2a
- More refinements to type checking.
  amjith
  committed
  a99c644
- types: add shared DBCursor protocol; annotate special modules and core
  amjith
  committed
  89eaba5
- mypy: tighten config (3.9 target, disallow untyped/incomplete defs, no implicit Optional, warn on Any). Note: run with --explicit-package-bases or via tox.
  amjith
  committed
  2337398
- changelog: document typing improvements, shared DBCursor, stricter mypy, and utils bug fix
  amjith
  committed
  8a340b8
- docs(AGENTS): document test/lint/type-check flows and changelog discipline (Unreleased at top, succinct entries)
  amjith
  committed
  fce2300
- Update changelog.
  amjith
  committed
  a88aa4a
- Fix the workflow file syntax.
  amjith
  committed
  09f74d9
- Add mypy to dev deps.
  amjith
  committed
  dbfa16b
- Fix the workflow file.
  amjith
  committed
  624e6d5
- Fix mypy.
  amjith
  committed
  1615778
Commits on Aug 23, 2025
- Remove the mypy:ignore directive.
  amjith
  committed
  90eb1d8
- Use modern python type hints.
  amjith
  committed
  a5350f0
- Tighten the typehint for parseutils.
  amjith
  committed
  821f62b
- Fix the remaining type hint issues.
  amjith
  committed
  058a84f
Commits on Aug 24, 2025
- Merge branch 'main' into amjith/type-checking
  amjith
  authored
  39660bc
Commits on Sep 28, 2025
- Fix up a couple of PR comments.
  amjith
  committed
  c5e1a61
- Merge branch 'main' into amjith/type-checking
  amjith
  authored
  31dea66

Commits

Commits on Aug 17, 2025

Commits on Aug 23, 2025

Commits on Aug 24, 2025

Commits on Sep 28, 2025