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

Stubs generator #17

Merged
HEL merged 9 commits from feat/stubs-gen into main 2026-06-20 15:44:35 +00:00
Conversation 0 Commits 9 Files Changed 12
+503 -25
9 Commits
Author SHA1 Message Date
HEL 3f48c2138f chore: add stubs command to README 2026-06-20 17:44:15 +02:00
HEL e4ab27673d fix(gen): handle TypeVar variance in stubs generator 2026-06-20 17:34:40 +02:00
HEL b02ecc6326 fix(gen): handle ConstraintType in stubs generator 2026-06-20 17:34:22 +02:00
HEL 9e83079910 fix(cli): add missing methods to highlighter 2026-06-20 17:23:18 +02:00
HEL ec468dd982 feat(cli): add stubs command 2026-06-20 17:10:25 +02:00
HEL 3edc25d778 feat(gen): add base for stubs generator 2026-06-20 17:10:24 +02:00
HEL 451e54b009 fix(checker): handle calls to AliasType 2026-06-20 17:10:24 +02:00
HEL 0dc14f67aa fix(checker): allow substitutyping type vars in GenericType and TopType 2026-06-20 17:10:23 +02:00
HEL ff79f25628 fix(checker): store member kind in registry 2026-06-20 17:10:23 +02:00