On 24 December 2014 at 10:45, William ML Leslie
<[email protected]> wrote:
> On 24 December 2014 at 06:19, Jonathan S. Shapiro <[email protected]> wrote:
>> but for real fun, consider:
>>
>> f : ref (deeply immutable 'a)
>>
>
> I still don't know.  f refers to some 'a that is deeply immutable?
> Clearly f is not deeply immutable.  Why is this interesting?

Oh!  Now I see.  f is a (deeply immutable 'a) by-ref, not just a
reference to ...

-- 
William Leslie

Notice:
Likely much of this email is, by the nature of copyright, covered
under copyright law.  You absolutely MAY reproduce any part of it in
accordance with the copyright law of the nation you are reading this
in.  Any attempt to DENY YOU THOSE RIGHTS would be illegal without
prior contractual agreement.
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to