tqchen commented on issue #4486: [Arith] Bound for Shape Variables URL: https://github.com/apache/incubator-tvm/pull/4486#issuecomment-570293304 If we are going to use a Var instead, we will can introduce a special subclass of Variable called ShapeVarNode, which corresponds to shape can contain non-neg info, the solution mentioned in the post will depend on migrating all the Mutator to the new style(which will be done in a few days). Note that will mean we will need to force user to construct shape_var when passing to shapes. In the meanwhile, the intrinsic approach can co-exist with the shape_var one even if we decided to introduce that one, so it might be fine if we first proceed with this solution
---------------------------------------------------------------- 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
