HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 3 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
12 Commits
Author SHA1 Message Date
HEL 54b2058b86 chore: fix name and complete language configuration
Tests / tests (pull_request) Successful in 7s
Details
2026-07-09 16:54:38 +02:00
HEL 60ff529226 chore: add midas snippets 2026-07-09 16:54:37 +02:00
HEL c3b243288d fix(checker): remove redundant instance check 2026-07-09 15:59:55 +02:00
HEL cd9b80d22b docs: fix some typos in manual 2026-07-09 15:59:29 +02:00
HEL 21b648e18f docs: fix some docstrings 2026-07-09 15:56:56 +02:00
HEL 742693fa38 chore: add script to check docstrings 2026-07-09 15:55:06 +02:00
HEL 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
HEL f314a95e87 fix(checker): fix function subtyping logic 2026-07-09 12:32:51 +02:00
HEL 99350a9505 docs: add description of function subtyping 2026-07-09 12:32:27 +02:00
HEL aaa6d945d1 fix: tidy some TODOs 2026-07-09 00:25:23 +02:00
HEL 653612ee87 feat(checker): add variance manager to improve recursive types 2026-07-09 00:02:25 +02:00
HEL 2df6bca948 fix(gen): improve cast assert message for columns 2026-07-08 23:28:27 +02:00