2008/8/29 Bjorn Gustavsson <bgustavsson@REDACTED>: > > Preserving sharing when copying a term (i.e. not destroying > the source term) is harder and WILL be slower compared to > not preserve sharing. > > /Bjorn I'm not surprised. Otherwise, I'm sure you'd have made message passing sharing-preserving long ago. ;-) BR, Ulf W