Optiq-263 and trait propagation

Skip to first unread message

Julian Hyde

May 21, 2014, 1:49:54 PM5/21/14
to John Pullokkaran, Jinfeng Ni, opti...@googlegroups.com
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?


John Pullokkaran

May 21, 2014, 2:12:23 PM5/21/14
to Julian Hyde, Jinfeng Ni, opti...@googlegroups.com

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.

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.
Reply all
Reply to author
0 new messages