[e-lang] Mystery in pass-by-construction.updoc

[Kevin Reid]

On Jan 13, 2007, at 22:42, Mark S. Miller wrote:

> Hi Kevin,
>
> In your recently submitted pass-by-construction.updoc, why should:
>
>      def _ {} :<type:java.lang.Runnable>
>
> be PBC?

Whoops. I didn't even notice; I populated that list from everything  
which 'implements JOSSPassByConstruction'.

It should not be, and this is a bug. Deflector.java says:

> Deflector itself implements JOSSPassByConstruction, Selfless, and  
> Persistent just in case the deflected object does. The Deflection  
> of the object implements whichever of these the deflected object does.

but this behavior is evidently not occurring.

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