<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2016-05-20 9:24 GMT+02:00 Nicolas Cellier <span dir="ltr">&lt;<a href="mailto:nicolas.cellier.aka.nice@gmail.com" target="_blank">nicolas.cellier.aka.nice@gmail.com</a>&gt;</span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>+1<br><br></div>

<p class="MsoNormal"><span lang="EN-US">I presume
copyChain is a bit more expensive than copy (I didn’t measure it though). More
expensive but allways correct.</span></p><p class="MsoNormal"><span lang="EN-US"><br></span></p>

<p class="MsoNormal"><span lang="EN-US">If the
inexpensive copy is used extensively, and my suggestion is a performance killer,
then let’s keep current solution: cleverly use expensive copy exactly where we
now we are going to need it. Otherwise, I suggest renaming copyChain into copy,
and hence have something much more robust.</span></p>

</div><div><div class="h5"><div class="gmail_extra"><br></div></div></div></div></blockquote><div>where we know... Gah <br></div></div></div></div>