Per module inference context + substitute type variables - #8

Merged

schurhammer merged 12 commits into

schurhammer:mainfrom

gertvv:feature/lib-typed_ast

Mar 9, 2026

Commits on Feb 26, 2026

schurhammer/gig#6: refactor - module-local type variable IDs
gertvv
committed
26a0225
schurhammer/gig#6: refactor - remove source text from typed_ast
gertvv
committed
5f85b91
schurhammer/gig#6: refactor - independent typed_ast.Context for each module and substitute type variables (WIP)
gertvv
committed
a9f198d
schurhammer/gig#6: refactor - typed_ast start temp_uid at 1 to prevent clash
gertvv
committed
ebd8575
schurhammer/gig#6: refactor - make Context private to typed_ast
gertvv
committed
57385c5

Commits on Feb 27, 2026

Commits on Feb 28, 2026

Commits on Mar 3, 2026

schurhammer #6: refactor - substitute type variables in annotations
gertvv
committed
6355646