tqchen opened a new pull request, #20107: URL: https://github.com/apache/tvm/pull/20107
Relax and TIR dependent type fields need symbolic integer variables to be declared in a function signature without persisting parser-only metadata in IR. - Accept standard module-level TypeVar declarations on Python 3.10+ and bare or int-bound PEP 695 parameters on Python 3.12+. - Treat declarations as syntax sugar for fresh int64 TIR variables used by dependent signature fields; unused declarations disappear and no function attrs, type-parameter fields, or runtime parameters are added. - On Python 3.12+, print a future annotations import, bare PEP 695 parameters, and unquoted dependent expressions. - Before Python 3.12, print module-level TypeVar declarations and keep compound dependent expressions quoted. - Parse both versioned forms through shared signature plumbing while retaining dialect-specific annotation and body handling. Validation: - Latest-main native build completed successfully. - Focused Relax and TIR TypeVar tests passed 15/15. - Focused printer-doc tests passed 2/2. - Touched-file pre-commit hooks and diff checks passed. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
