[rust-dev] bors feature requests

2013-05-07 Thread Sanghyeon Seo
Here are some feature requests to bors queue status page at http://buildbot.rust-lang.org/bors/bors.html 1. It seems to show no more than 30 pull requests. It used to be enough, but these days we often have more than 30 pull requests in the queue. 2. The page has last-updated timestamp. It would

Re: [rust-dev] RFC: User-implementable format specifiers w/ compile-time checks

2013-05-07 Thread Mikhail Zabaluev
Hi Graydon, 2013/5/6 Graydon Hoare gray...@mozilla.com Yes, this is the sort of thing I was thinking of: that there are some pressures that a gettext() layer feed back to the selection of formatting strings that might be worth considering. Also that it might be nice to make fmt!()

[rust-dev] Mobile Platforms programming

2013-05-07 Thread heri16
Any idea whether Rust could be used for iOS programming? Is there an Objective-Cinteroperability layer? Rust works well with ARM MMU? Or is it too early days to tell?I guess Servo would be on iOS some day? ___ Rust-dev mailing list Rust-dev@mozilla.org

Re: [rust-dev] Mobile Platforms programming

2013-05-07 Thread Sanghyeon Seo
Any idea whether Rust could be used for iOS programming? Not yet, but see #6170 for an issue. Is there an Objective-C interoperability layer? No. Rust works well with ARM MMU? I am not sure what you mean by MMU. Rust now works well on the ARM architecture.

Re: [rust-dev] bors feature requests

2013-05-07 Thread Tim Chevalier
On Tue, May 7, 2013 at 4:09 PM, Sanghyeon Seo sh4@samsung.com wrote: Here are some feature requests to bors queue status page at http://buildbot.rust-lang.org/bors/bors.html 1. It seems to show no more than 30 pull requests. It used to be enough, but these days we often have more than 30

[rust-dev] Refactoring namespace code

2013-05-07 Thread Corey Richardson
Currently, TypeNS and ValueNS are handled very similarly in rustc::middle::resolve, differing in only a few places, but having a fair bit of duplication. It seems merging them somehow would clean things up a lot. ___ Rust-dev mailing list