Optiq-263 and trait propagation

[Julian Hyde]

John, Jinfeng,

You have both expressed an interest in "trait propagation". I've fixed https://github.com/julianhyde/optiq/issues/263. Can you please review what I've written in the issue and see whether it meets your requirements?

Julian

[John Pullokkaran]

If i understood the design, trait would bubble up by repeated firing of the rules (by allowing rule to be fired on subset).

My concern is about scalability; this logic doesn't capture which paths in the tree can take advantage of the trait (needs trait) and hence trait would traverse up in all the paths towards the root of the tree.

CONFIDENTIALITY NOTICE
NOTICE: This message is intended for the use of the individual or entity to which it is addressed and may contain information that is confidential, privileged and exempt from disclosure under applicable law. If the reader of this message is not the intended recipient, you are hereby notified that any printing, copying, dissemination, distribution, disclosure or forwarding of this communication is strictly prohibited. If you have received this communication in error, please contact the sender immediately and delete it from your system. Thank You.