On 2/7/12 4:23 PM, Graydon Hoare wrote:
Hm. I am confused at the description of the "hole" in the type system. I was under the impression that this was the distinction between immutable values and immutably-rooted values (those contained within a path-of-immutable-references). Am I misunderstanding?
It's not a hole per se, but our concept of immutability is pretty unique among languages I know of. (C++ doesn't work this way, in particular.) Moreover, our notion of immutability makes it more difficult than it could be to prevent Dan's bug.
Patrick _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
