Cleanup and minor improvements #37

Merged
HEL merged 12 commits from feat/tidying into main 2026-07-09 14:59:29 +00:00

12 Commits

Author SHA1 Message Date
54b2058b86 chore: fix name and complete language configuration
All checks were successful
Tests / tests (pull_request) Successful in 7s
2026-07-09 16:54:38 +02:00
60ff529226 chore: add midas snippets 2026-07-09 16:54:37 +02:00
c3b243288d fix(checker): remove redundant instance check 2026-07-09 15:59:55 +02:00
cd9b80d22b docs: fix some typos in manual 2026-07-09 15:59:29 +02:00
21b648e18f docs: fix some docstrings 2026-07-09 15:56:56 +02:00
742693fa38 chore: add script to check docstrings 2026-07-09 15:55:06 +02:00
4d343a61ff feat!: remove Python constraint type
this feature was only partially implemented (parsing) and the syntax was not ideal so this commit removes it entirely
2026-07-09 14:15:36 +02:00
f314a95e87 fix(checker): fix function subtyping logic 2026-07-09 12:32:51 +02:00
99350a9505 docs: add description of function subtyping 2026-07-09 12:32:27 +02:00
aaa6d945d1 fix: tidy some TODOs 2026-07-09 00:25:23 +02:00
653612ee87 feat(checker): add variance manager to improve recursive types 2026-07-09 00:02:25 +02:00
2df6bca948 fix(gen): improve cast assert message for columns 2026-07-08 23:28:27 +02:00