C-like tags should be castable to int with or without custom discriminants

[nikomatsakis]

This type checks (tag-disr-val-shape.rs):

enum color {
    red = 0;
    green = 1;
    blue = 2;
    black = 3;
    white = 4;
}

fn main() {
    assert uint::to_str(red as uint, 10u) == #fmt["%?", red];
    assert uint::to_str(green as uint, 10u) == #fmt["%?", green];
    assert uint::to_str(white as uint, 10u) == #fmt["%?", white];
}

but this does not (tag-auto-disr-val-shape.rs):

enum color { red; green; blue; black; white; }

fn main() {
    assert (uint::to_str(red as uint, 10) == #fmt["%?", red]);
    assert (uint::to_str(green as uint, 10) == #fmt["%?", green]);
    assert (uint::to_str(white as uint, 10) == #fmt["%?", white]);
}

However, the two programs are equivalent but for the fact that in one case the discriminants were automatically assigned.

When fixing this bug, please remove the xfail-test directives from those two test files!

[kevina]

You have a bug in tag-auto-disr-val-shape.rs, change the 10 to 10u and it should compile.

Let me know if it doesn't work for you.

[nikomatsakis]

never mind, the bug is in the pretty printer, which sometimes prints out 10u as 10