Re: [rust-dev] relax type checking of ints and uints?

2012-03-20 Thread Niko Matsakis
On 3/19/12 7:22 PM, Graydon Hoare wrote: Beyond this, I think the widening rules or any form of in-expression promotion in general is too hazardous. Literals are the pain point. I've been working on a refactoring of the ty/typeck modules that should make inference for literals relatively easy

Re: [rust-dev] ACL proposal

2012-03-20 Thread Marijn Haverbeke
Looks good on the whole. I guess there'll also be a way to change the default visibility per-module? It might become tedious, when exporting a bunch of things to a specific submodule, to repeat the path for every item. ___ Rust-dev mailing list Rust-dev@m

[rust-dev] ACL proposal

2012-03-20 Thread Niko Matsakis
Along the lines of issue #1893, I wanted to propose a simple, hierarchical system for access control. Conceptually, each item is assigned an access level describable as an enum: enum access { pub, priv(module_path) } A `pub` item is accessible from outside the crate. A `priv(M

Re: [rust-dev] relax type checking of ints and uints?

2012-03-20 Thread Chris Peterson
On 3/19/12 7:22 PM, Graydon Hoare wrote: Beyond this, I think the widening rules or any form of in-expression promotion in general is too hazardous. Literals are the pain point. Sounds good. Safely promoting literals would be a big help. chris ___ Ru