<div dir="ltr">Hi Frank,<div class="gmail_extra"><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Actually, I think Chris has pointed that out before, and I only<br>
realise it now: My copying test case also fails on current Rivet tip,<br>
even without my patch! Are there no (other) cases, where we really<br>
copy projections by value?<br></blockquote><div><br></div><div>I don't think so, thankfully!</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
So we might as well go ahead with my patch, since it will save users<br>
from this silly slicing mistake. And we will have to fix the<br>
projection registration mechanism anyway if we want to allow copying<br>
of projections by value. Though I didn't quite understand David's last<br>
comment: do you find the patch ok, or not (assuming we only care about<br>
FinalState-derived projections at the moment)? Any other objections?<br></blockquote><div><br></div><div>I don't object to the solution per se, but my preference is to fix the copy-by-value issue correctly throughout the Projection inheritance hierarchy instead of patching just FinalState. If this is the solution we choose, great, but let's fix the whole tree. Do you agree?</div><div><br></div><div>Chris</div></div></div></div>