Repository navigation

Generated Python type-checks - #601

Merged

kixelated merged 9 commits into

mainfrom

quest/m1/ffi-export/python-types

Nov 7, 2026

Merged

Generated Python type-checks#601
kixelated merged 9 commits into
mainfrom
quest/m1/ffi-export/python-types

Commits on Nov 4, 2026
- chore(quest): claim quest/m1/ffi-export/python-types.md
  kixelated
  committed
  0837d6a
- fix(ffi): generated Python passes mypy and pyright, strict
  
  kixelated
  and
  claude
  committed
  a424239
- Merge remote-tracking branch 'origin/main' into quest/m1/ffi-export/python-types
  kixelated
  committed
  588bcff
Commits on Nov 6, 2026
- Merge remote-tracking branch 'origin/main' into quest/m1/ffi-export/python-types
  kixelated
  committed
  370995b
- fix(ffi): name a native stub's parameters by position, so none clashes with its receiver
  
  kixelated
  and
  claude
  committed
  c615f90
- docs(ffi): rewrap the Python section's lines
  
  kixelated
  and
  claude
  committed
  b651d91
- test(ffi): an async method whose parameter is named this
  
  kixelated
  and
  claude
  committed
  3470fc4
- fix(ffi): annotate Python list inputs as covariant containers
  
  kixelated
  and
  claude
  committed
  2aadf04
- Merge remote-tracking branch 'origin/main' into quest/m1/ffi-export/python-types
  kixelated
  committed
  b2ccee6