#349 Defining DeepPassByCopy

[Mark Samuel Miller]

Reported by Kevin Reid at http://www.eros-os.org/pipermail/e-lang/2007-February/011900.html

? e`a` :DeepPassByCopy
# value: e`a`

? e`a`.__optUncall()[0] :DeepPassByCopy
# problem: Not audited by DeepPassByCopy

? e`a`.__optUncall()[0] :PassByCopy
# problem: Not audited by PassByCopy

Is this simply a bug?

If not, what is the precise definition of DeepPassByCopy such that an
object being DPBC but one of its components (the maker) not being is
consistent? Is the maker position only required to be
PassByConstruction?

Is it correct to implement DeepPassByCopy as a recursive test for
PassByCopy?