HEL/midas
1
0
Fork 0
Code Issues Pull Requests Releases 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
LordBaryhobal
3f48c2138f chore: add stubs command to README 2026-06-20 17:44:15 +02:00
LordBaryhobal
e4ab27673d fix(gen): handle TypeVar variance in stubs generator 2026-06-20 17:34:40 +02:00
LordBaryhobal
b02ecc6326 fix(gen): handle ConstraintType in stubs generator 2026-06-20 17:34:22 +02:00
LordBaryhobal
9e83079910 fix(cli): add missing methods to highlighter 2026-06-20 17:23:18 +02:00
LordBaryhobal
ec468dd982 feat(cli): add stubs command 2026-06-20 17:10:25 +02:00
LordBaryhobal
3edc25d778 feat(gen): add base for stubs generator 2026-06-20 17:10:24 +02:00
LordBaryhobal
451e54b009 fix(checker): handle calls to AliasType 2026-06-20 17:10:24 +02:00
LordBaryhobal
0dc14f67aa fix(checker): allow substitutyping type vars in GenericType and TopType 2026-06-20 17:10:23 +02:00
LordBaryhobal
ff79f25628 fix(checker): store member kind in registry 2026-06-20 17:10:23 +02:00