Lunderberg commented on PR #13539: URL: https://github.com/apache/tvm/pull/13539#issuecomment-1370071611
@tqchen If possible, I think that would be the ideal. When I was experimenting with it, the DataType seems very intertwined with the FFI, and so I wasn't sure whether that would break things further. I like the idea of being able to use all the normal TVM containers with `DataType`. As I'm thinking on it, the `Optional[DataType]` would be very useful for separating out two use cases of `DataType::Void()`. Currently, it is sometimes used as "this expression has `void` type", and sometimes used as "this expression has unknown type". If `Optional[DataType]` is supported, then the former could be written as `DataType::Void()`, while the latter is written as `NullOpt`. -- 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]
