slyubomirsky commented on PR #16642: URL: https://github.com/apache/tvm/pull/16642#issuecomment-1972363867
Excellent, I'm glad to see an analysis for PrimFunc purity. Do you think it's necessary to have an override to assert one is pure? It's doubtful that we would need it right now but it might be a good thing to have in the back of our pocket (i.e., an escape hatch). I think it could be an analogue to `force_pure` in Relax (a special attribute). -- 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]
