HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 2 Activity

Cleanup and minor improvements #37

Merged
HEL merged 12 commits from feat/tidying into main 2026-07-09 14:59:29 +00:00
Conversation 0 Commits 12 Files Changed 38 +1636 -1181
HEL commented 2026-07-09 14:59:08 +00:00
Owner
Copy Link

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
All checks were successful
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
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
HEL
No Assignees HEL
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: HEL/midas#37
Delete Branch "feat/tidying"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?