[bitc-dev] Capture problem with by-ref

[Sam Mason]

On Wed, Mar 12, 2008 at 02:14:54PM -0400, Swaroop Sridhar wrote:
> In the original mail proposing by-ref (then called stack-ref),
> http://www.coyotos.org/pipermail/bitc-dev/2007-June/000915.html

I thought these discussions seemed familiar!  Rereading what was said
back then, I'm not sure if I can add much to the discussion.

One thing I haven't noticed is about introducing a simple operator:

  (fn (mutable 'a) (by-ref (mutable 'a)))

that compiles to a no-op but is there to aid auditing.  Immutable
by-refs could be automatic.

The only other thing I thought of was increases in aliasing, but it
seems you've given that thought already.


  Sam