[e-lang] makeProxy reveals implicit sendOnly

[Mark S. Miller]

Kevin Reid wrote:
> I had understood that it is intended that <- is optimized to sendOnly  
> when the result is not used; if so, then either the conditions for  
> this optimization must be well-defined, or makeProxy must be unsafe.

Good catch. I think I agree that these are the only viable choices. Of the 
two, I mildly prefer the first: we should specify the conditions in which this 
optimization happens.

-- 
Text by me above is hereby placed in the public domain

     Cheers,
     --MarkM