polymorphism and inheritance related fixes #92

ychenfo · 2021-11-11T04:47:36+08:00

ychenfo commented

2021-11-11 04:47:36 +08:00

class methods containing type vars not in class (Generic[T]) can now be type-checked correctly.
nac3artiq symbol resolver now can handle typevars, virtuals, and forward references in the typevar
nac3standablone and core can also parse type annotation with ForwardRef
nac3artiq: filter out base classes not annotated with nac3

- class methods containing type vars not in `class (Generic[T])` can now be type-checked correctly. - nac3artiq symbol resolver now can handle typevars, virtuals, and forward references in the typevar - nac3standablone and core can also parse type annotation with ForwardRef - nac3artiq: filter out base classes not annotated with nac3

ychenfo added 6 commits 2021-11-11 04:47:36 +08:00

4d32b43181 nac3core: fix polymorphic class method partial instantiation

c08aad3ffe nac3core: top level use codegen official get_subst_key

0a9ed4e24f nac3artiq: symbol reslover handle typevar, virtual and fForwardRef

77c8b947f4 nac3standalone: basic resolver typevar handling

12ab8bcd39 nac3core: parse type annotation python forwardref handling

a2da1ecf05 nac3artiq: filter out base class not annotated with nac3

ychenfo added 1 commit 2021-11-11 14:25:21 +08:00

07e1079f28 nac3artiq: avoid using py.eval to get id of class virtual

ychenfo closed this pull request

2021-11-11 14:25:45 +08:00