Repository navigation

Add context-free Call reinference and binding type propagation - #20480

Merged

tqchen merged 15 commits into

apache:mainfrom

tqchen:task553-call-reinfer

Sep 28, 2026

Merged

Add context-free Call reinference and binding type propagation#20480
tqchen merged 15 commits into
apache:mainfrom
tqchen:task553-call-reinfer

Commits on Sep 28, 2026
- Separate context-free Call type inference from builder inference
  tqchen
  committed
  70fc742
- Use native context-free Call inference and propagate binding types
  tqchen
  committed
  2d4b65b
- Format type inference helper definitions
  tqchen
  committed
  624886a
- Use current tvm-ffi for native inference hooks
  tqchen
  committed
  fd78c6d
- Use native Call structural mutation hooks
  tqchen
  committed
  2e46c46
- Keep reinference boundary test provisional
  tqchen
  committed
  5b3367e
- Migrate structural hooks to native FFI callbacks
  tqchen
  committed
  0eb1397
- Use direct native callbacks for context-free type inference
  tqchen
  committed
  9d002bb
- Restore upstream Bind and Let mutation behavior
  tqchen
  committed
  a854f8e
- Simplify native structural visitor success returns
  tqchen
  committed
  7d62e97
- Propagate Bind and Let types after value and binder mutation
  tqchen
  committed
  4dc61fd
- Reuse unchanged inferred Call result types
  tqchen
  committed
  c83e843
- Keep inferred Call type reuse in operator hooks
  tqchen
  committed
  9fe96a4
- Share Call result type installation in expression mutators
  tqchen
  committed
  365d0ff
- Reinfer Call type after expression mutation
  tqchen
  committed
  424dac0