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 ___

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] relax type checking of ints and uints?

2012-03-19 Thread Patrick Walton
On 3/19/12 6:56 PM, Tim Chevalier wrote: I don't think we have any plans to add implicit casts as implied by your other 4 examples. It seems too complex -- if any of the variables in your example were mutated after being initialized, the pass that would insert these casts would get pretty

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

2012-03-19 Thread Graydon Hoare
On 12-03-19 07:00 PM, Patrick Walton wrote: On 3/19/12 6:56 PM, Tim Chevalier wrote: I don't think we have any plans to add implicit casts as implied by your other 4 examples. It seems too complex -- if any of the variables in your example were mutated after being initialized, the pass that