[GitHub] [incubator-tvm] tqchen edited a comment on issue #4486: [Arith] Bound for Shape Variables

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

tqchen edited a comment on issue #4486: [Arith] Bound for Shape Variables
URL: https://github.com/apache/incubator-tvm/pull/4486#issuecomment-570111604
 
 
   After looking at the set of changes, seems we still have quite a few places where we want to try to assume the properties of a Var. 
   
   This makes me wonder if we should also revisit the option to bring more information to Variable, but instead of putting them inside Variable, we can subclass the Variable to create special vars(e.g. IterVar) that contains these information. Given that things are easier with the new Object system.
   
   Of course this does not remove the value of the additional constraint wrapper, @icemelon9 @yzhliu  thoughts?

----------------------------------------------------------------
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:
users@infra.apache.org


With regards,
Apache Git Services