Re: [rust-dev] Questions about linked lists in Rust

2013-09-02 Thread Tim Chevalier
On Wed, Aug 28, 2013 at 8:22 PM, Nicholas Bishop nicholasbis...@gmail.com wrote: Hi, I'm new to Rust, currently trying out a few simple tests to get a handle on things. I have a few questions about linked lists. I see there are two list modules in extra, one for ~ pointers and one for @

Re: [rust-dev] RFC: Stealing: lexically-scoped temporary violation of linearity

2013-09-02 Thread Niko Matsakis
On Fri, Aug 30, 2013 at 05:50:40PM -0700, Patrick Walton wrote: Brian pointed out a massive soundness hole in this, unfortunately. The problem is that you can read from the original locations; the right to read is not shut off during the borrow. I think the fix would have to be to replace this

Re: [rust-dev] RFC: Stealing: lexically-scoped temporary violation of linearity

2013-09-02 Thread Niko Matsakis
Sorry, sent that e-mail prematurely. Short version is that I think we could generalize our move rules somewhat precisely for the purpose of accommodating this situation, but the question is whether it would ultimately be expressive enough. There would have to be rules against making fn calls,

Re: [rust-dev] Questions about linked lists in Rust

2013-09-02 Thread Niko Matsakis
On Mon, Sep 02, 2013 at 04:37:34PM -0700, Tim Chevalier wrote: There are two list modules because one is a singly linked list -- list.rs -- and one is a doubly linked list -- dlist.rs . Off the top of my head I'm not sure if there's a reason why list.rs uses @ pointers. The reason that list