I am curious. Isn't the stack a very simple region? Couldn't region inference be used to solve pointer-to-stack problems?
Or do I completely misunderstand the definition of pointer-to-the-stack? On 10/24/13 6:12 PM, Matthieu Monrocq wrote: > This is an interesting move, however the pointer-to-the-stack looks > really hard to solve. In Rust, for example, I can store a reference to a > stack element in a vec for example, and it is undistinguished (in the > type system) from a pointer to an element not on the stack. > > Also, I was surprised at: "When that call returns, the new stack chunk > is freed.", looks like they were not keeping the "next" chunk around. > Indeed this could generate a lot of allocation traffic. -- David Rajchenbach-Teller, PhD Performance Team, Mozilla _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
