[bitc-dev] Capture problem with by-ref (Immutability)

[Jonathan S. Shapiro]

On Thu, 2008-03-13 at 14:21 -0400, Swaroop Sridhar wrote:
> When we eventually get to introducing the immutable construct, I think
> it is better to introduce it in the form of a constraint
>
> ex: (forall (Immutable 'a) 'a)
> 
> rather than as a constructor (immutable 'a).

I think I agree, though I think that this is syntactically pretty
awkward.

I definitely agree that this is what I had in mind semantically.

shap