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

Fixes and small demo #19

Merged
HEL merged 14 commits from feat/demonstration into main 2026-06-23 08:15:56 +00:00
Conversation 0 Commits 14 Files Changed 10
+239 -21
14 Commits
Author SHA1 Message Date
HEL d6b8fbfb60 chore: improve demo example 2026-06-23 10:03:24 +02:00
HEL b290c59ac4 fix(gen): add bases for ConstraintType and TypeVar 2026-06-23 00:25:43 +02:00
HEL 093f2bc477 fix(checker): lookup member on typevar bound 2026-06-23 00:24:37 +02:00
HEL 7c771c4070 feat(checker): add input function to preamble 2026-06-23 00:22:38 +02:00
HEL a50a207385 fix(gen): don't generate stubs for builtin types 2026-06-22 15:40:31 +02:00
HEL 7e5ea5e414 chore: add example to demonstrate some features 2026-06-22 15:29:39 +02:00
HEL 0ba0266bae fix(checker): check general subtype case for AppliedType 
this adds the case where we check whether AppliedType <: Type, and delegates to the body

this may not be a legitimate rule, or may need to be refined
 2026-06-22 15:27:06 +02:00
HEL 216c80f08c fix(checker): produce judgement for expression in cast 2026-06-22 15:24:51 +02:00
HEL f75d7722a1 fix(checker): look up members on constraint type 2026-06-22 15:24:18 +02:00
HEL 2f29c47274 fix(gen): assert type var bound 2026-06-22 15:23:53 +02:00
HEL 80af2b9048 fix(checker): handle is_subtype of TypeVar 2026-06-22 14:44:51 +02:00
HEL 577454ee7e fix(checker): make UnknownType a top type for subtyping 2026-06-22 14:15:18 +02:00
HEL 878693383e feat(cli): add watch option to stubs command 2026-06-22 14:14:05 +02:00
HEL 0b91de75a8 feat(checker): handle type vars in python functions 2026-06-22 14:13:25 +02:00