|
|
d6b8fbfb60
|
chore: improve demo example
|
2026-06-23 10:03:24 +02:00 |
|
|
|
b290c59ac4
|
fix(gen): add bases for ConstraintType and TypeVar
|
2026-06-23 00:25:43 +02:00 |
|
|
|
093f2bc477
|
fix(checker): lookup member on typevar bound
|
2026-06-23 00:24:37 +02:00 |
|
|
|
7c771c4070
|
feat(checker): add input function to preamble
|
2026-06-23 00:22:38 +02:00 |
|
|
|
a50a207385
|
fix(gen): don't generate stubs for builtin types
|
2026-06-22 15:40:31 +02:00 |
|
|
|
7e5ea5e414
|
chore: add example to demonstrate some features
|
2026-06-22 15:29:39 +02:00 |
|
|
|
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 |
|
|
|
216c80f08c
|
fix(checker): produce judgement for expression in cast
|
2026-06-22 15:24:51 +02:00 |
|
|
|
f75d7722a1
|
fix(checker): look up members on constraint type
|
2026-06-22 15:24:18 +02:00 |
|
|
|
2f29c47274
|
fix(gen): assert type var bound
|
2026-06-22 15:23:53 +02:00 |
|
|
|
80af2b9048
|
fix(checker): handle is_subtype of TypeVar
|
2026-06-22 14:44:51 +02:00 |
|
|
|
577454ee7e
|
fix(checker): make UnknownType a top type for subtyping
|
2026-06-22 14:15:18 +02:00 |
|
|
|
878693383e
|
feat(cli): add watch option to stubs command
|
2026-06-22 14:14:05 +02:00 |
|
|
|
0b91de75a8
|
feat(checker): handle type vars in python functions
|
2026-06-22 14:13:25 +02:00 |
|
