[bitc-dev] Revisiting stack-ref

[Sam Mason]

On Sun, Jun 03, 2007 at 10:16:47PM -0400, Jonathan S. Shapiro wrote:
>   2. Captured by-reference arguments are legal in *escaping* closures,
>      but a *copy* of the by-reference value is made at the time of
>      closure construction.
>
>      This yields sensible behavior and preserves type safety, but it
>      introduces behavioral subtlety that will confuse programmers. 

I think this would confuse the semantics a lot, apparently simple
changes to an expression could change its behaviour considerably.

>      My intuition is that is is better to prohibit escaping capture of
>      BY-REFERENCE parameters, even if this means that we must prohibit
>      their capture in *all* closures.

Sounds a bit strong, but at least it could be relaxed without obvious
problems later.


  Sam