Re: [rust-dev] Purpose of |put;|?

2011-09-21 Thread Marijn Haverbeke
Minor thing: What is the purpose of |put;| (with no arguments)? It's equivalent to 'put ()', for consistency with 'ret;'. We should probably remove support for this, since it's too rare to abbreviate. ___ Rust-dev mailing list Rust-dev@mozilla.org

[rust-dev] Purpose of |put;|?

2011-09-20 Thread Patrick Walton
Minor thing: What is the purpose of |put;| (with no arguments)? Just curious. Patrick ___ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev