tqchen commented on issue #4615: [REFACTOR][TYPE] Remove un-necessary var sub-field in TypeVars URL: https://github.com/apache/incubator-tvm/pull/4615#issuecomment-570751671 @MarisaKirisame I think we could bring a separate discuss thread in the forum for the type system design. My previous takeaway with @jroesch was that we don't want to introduce a full dependent type. Currently the Expr used in the TensorType is not part of relay expression, and only works on integer arithmetics to expression shape relations.
---------------------------------------------------------------- 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. For queries about this service, please contact Infrastructure at: [email protected] With regards, Apache Git Services
