Cleanup and minor improvements #37

2026-07-09T14:59:08Z

HEL commented

2026-07-09 14:59:08 +00:00

This PR collects a number of small improvements and cleanups, including:

improved cast assert message for values in columns
added variance inference manager to better handle recursive types and forward references
revised and documented function subtyping logic
removed constraint type syntax in Python annotations (4d343a61ff)
added a script to check that docstrings match function signatures (and find missing docstrings)
fixed docstrings
added snippets and improved VSCode language configuration

This PR collects a number of small improvements and cleanups, including: - improved cast assert message for values in columns - added variance inference manager to better handle recursive types and forward references - revised and documented function subtyping logic - removed constraint type syntax in Python annotations (4d343a61ff) - added a script to check that docstrings match function signatures (and find missing docstrings) - fixed docstrings - added snippets and improved VSCode language configuration

HEL self-assigned this 2026-07-09 14:59:08 +00:00

HEL added 12 commits 2026-07-09 14:59:08 +00:00

fix(gen): improve cast assert message for columns 2df6bca948

feat(checker): add variance manager to improve recursive types 653612ee87

fix: tidy some TODOs aaa6d945d1

docs: add description of function subtyping 99350a9505

fix(checker): fix function subtyping logic f314a95e87

feat!: remove Python constraint type 4d343a61ff

this feature was only partially implemented (parsing) and the syntax was not ideal so this commit removes it entirely

chore: add script to check docstrings 742693fa38

docs: fix some docstrings 21b648e18f

docs: fix some typos in manual cd9b80d22b

fix(checker): remove redundant instance check c3b243288d

chore: add midas snippets 60ff529226

chore: fix name and complete language configuration

Tests / tests (pull_request) Successful in 7s

Details

54b2058b86

HEL scheduled this pull request to auto merge when all checks succeed 2026-07-09 14:59:28 +00:00

HEL merged commit 0c851cbc9b into main

2026-07-09 14:59:29 +00:00

HEL deleted branch feat/tidying

2026-07-09 14:59:29 +00:00

HEL referenced this issue from a commit

2026-07-09 14:59:30 +00:00

Merge pull request 'Cleanup and minor improvements' (#37) from feat/tidying into main

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: HEL/midas#37