[GitHub] [tvm] Lunderberg opened a new pull request, #12633: [Utils] Handled Callable in tir.schedule._type_checker

[GitBox <gi...@apache.org>]

Lunderberg opened a new pull request, #12633:
URL: https://github.com/apache/tvm/pull/12633

   Previously, `Callable` was handled as an atomic type.  This worked when it was included as last element of a `Union[]` annotation with no subtypes, but raised an error for other use cases, including `Optional[Callable]`.
   
   This commit adds explicit checks for `Callable` type annotations to validate whether the argument is callable, but doesn't recursively validate the signature of the callable object, because lambda functions cannot have type annotations. (https://peps.python.org/pep-3107/#lambda)


-- 
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: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [tvm] vinx13 merged pull request #12633: [Utils] Handled Callable in tir.schedule._type_checker

[GitBox <gi...@apache.org>]

vinx13 merged PR #12633:
URL: https://github.com/apache/tvm/pull/12633


-- 
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: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org