7 Apr
2009
7 Apr
'09
6:44 p.m.
AMDG Thorsten Ottosen wrote:
I suspect that r1 | join(r2) | join(r3) will be less efficient than join(r1,r2,r3), because the former will lead to double checks of which range that is being iterated, unless there is some clever way to avoid that. But the | joined(r1,r2) syntax or whatever is fine with me.
It would be pretty easy to make r1 | join(r2) recognize whether r1 and r1 are themselves joint_views. In Christ, Steven Watanabe