Fixes and small demo #19

2026-06-23T08:15:49Z

HEL commented

2026-06-23 08:15:49 +00:00

This PR fixes several issues and adds a small demo script to showcase some of the features

Fixed issues include:

get class bases from constraint type's inner type and type variable bound when generating stubs
lookup members on type variable bound
don't generate stubs for builtin types
add general subtype check for applied type, comparing bodies (needs to be checked and validated to ensure the rule's legitimacy)
produce judgements for cast inner expression
lookup members on constraint type's inner type
generate assertion on type variable bound
handle case for is_subtype(*, TypeVar)
make UnknownType behave like a top type when checking subtype relationship (allow assigning anything to an unknown variable)
handle Python TypeVar definitions and usage in functions

This PR fixes several issues and adds a small demo script to showcase some of the features Fixed issues include: - get class bases from constraint type's inner type and type variable bound when generating stubs - lookup members on type variable bound - don't generate stubs for builtin types - add general subtype check for applied type, comparing bodies (needs to be checked and validated to ensure the rule's legitimacy) - produce judgements for cast inner expression - lookup members on constraint type's inner type - generate assertion on type variable bound - handle case for `is_subtype(*, TypeVar)` - make `UnknownType` behave like a top type when checking subtype relationship (allow assigning anything to an unknown variable) - handle Python `TypeVar` definitions and usage in functions

HEL self-assigned this 2026-06-23 08:15:49 +00:00

HEL added 14 commits 2026-06-23 08:15:49 +00:00

feat(checker): handle type vars in python functions 0b91de75a8

feat(cli): add watch option to stubs command 878693383e

fix(checker): make UnknownType a top type for subtyping 577454ee7e

fix(checker): handle is_subtype of TypeVar 80af2b9048

fix(gen): assert type var bound 2f29c47274

fix(checker): look up members on constraint type f75d7722a1

fix(checker): produce judgement for expression in cast 216c80f08c

fix(checker): check general subtype case for AppliedType 0ba0266bae

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

chore: add example to demonstrate some features 7e5ea5e414

fix(gen): don't generate stubs for builtin types a50a207385

feat(checker): add input function to preamble 7c771c4070

fix(checker): lookup member on typevar bound 093f2bc477

fix(gen): add bases for ConstraintType and TypeVar b290c59ac4

chore: improve demo example d6b8fbfb60

HEL merged commit 9c7a93412c into main

2026-06-23 08:15:56 +00:00

HEL deleted branch feat/demonstration

2026-06-23 08:15:56 +00:00

HEL referenced this issue from a commit

2026-06-23 08:15:57 +00:00