[e-lang] Defining DeepPassByCopy

[Kevin Reid]

? 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?

-- 
Kevin Reid                            <http://homepage.mac.com/kpreid/>