On Thu, Dec 25, 2014 at 9:38 AM, Jonathan S. Shapiro <[email protected]> wrote: > William: > On Tue, Dec 23, 2014 at 9:24 PM, William ML Leslie > <[email protected]> wrote: >> >> So here's that lattice again. Did I get it correct? Anything can be >> treated as deep readonly; and field variables are assumed mutable >> unless implied otherwise by the parent reference, field region, or >> type. >> immutable --> readonly <-- mutable >> | | >> v v >> deep immutable --> deep readonly > > > Yes. I believe that lattice is correct. Also your statement about field > mutability seems right.
I guess I'm not understanding something. How can you go from immutable to deep immutable? That seems to be saying that if no one can change a field, then no one can change the object graph pointed to by the field, which is wrong. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
