Re: [rust-dev] Dealing with ` illegal borrow unless pure` errors

2012-07-09 Thread Gareth Smith
On 08/07/12 03:35, Niko Matsakis wrote: Your recent e-mail reminded me that I never responded to this one. Sorry about that, I was on vacation. No problem. You deserved a vacation with all the work you are doing on rust. In general I think the most widely applicable answer is that if you

Re: [rust-dev] Traits proposal

2012-07-09 Thread David Bruant
A paper [1] describes 2 issues with traits (and a suggests a solution, but that's not what's bringing me here) : statelessness and lack of visibility control. In the proposal, the statelessness is taken care of in an interestingly elegant manner: implementing the traitface (intraitface? nah,

Re: [rust-dev] Traits proposal

2012-07-09 Thread Patrick Walton
On 7/9/12 2:44 PM, David Bruant wrote: As far as I can tell, the visibility control issue is not taken care of. What it means is that when a trait is composed of other traits, the instances of these traits have every single method of all the traits. This doesn't help in defining