The GitHub Actions job "CI" on tvm-ffi.git/main has succeeded.
Run started by GitHub user tqchen (triggered by tqchen).

Head commit for run:
1a2976896412110327500467977bcb112f426627 / Tianqi Chen 
<[email protected]>
[FFI][REFACTOR] Clarify DefRegionKind (#769)

Rename the two def-region kinds from Recursive / NonRecursive to Pattern
/
Simple, with the matching field-flag bits and the Python, Rust and doc
mirrors: a pattern def region matches the value's type as a pattern,
binding
its free variables; a simple def region defines the variable alone and
walks
its type as uses. The comments now state the binding rule and the clamp
that
custom hooks on FreeVar types must apply.

A pattern region propagates: entering any kind inside it has no effect,
so a
simple def nested under a pattern (a pattern field, or map_free_vars at
the
top level) still binds the free variables in its type. Applied in the
equal,
hash, visit and mutate engines and in the Rust visitor and mutator, with
a
test for the nested case.

Python keeps "def" as the only alias of "def-pattern".

No ABI changes involved: enum values and flag bit positions are
unchanged.

Report URL: https://github.com/apache/tvm-ffi/actions/runs/34258292573

With regards,
GitHub Actions via GitBox


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to