[Issue 6060] Refuse wrong final switch

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=6060



--- Comment #3 from bearophile_hugs at eml.cc 2012-02-05 06:50:27 PST ---
(In reply to comment #2)
> Could you please clarify what this is asking for that issue 5713 doesn't cover?

For this program:


void main(string[] args) {
    final switch (args.length) {
        case 0: break;
    }
}


I'd like a compile-time error, like:
"Final switch on ints is not allowed."

-----------------------

For this program:


void main() {
    uint x = 100;
    final switch (x % 3) {
        case 0: break;
        case 1: break;
    }
}


I'd like a compile-time error like:
"Some cases (2) are not covered by the final switch."

So this program is accepted with no errors:

void main() {
    uint x = 100;
    final switch (x % 3) {
        case 0: break;
        case 1: break;
        case 2: break;
    }
}

-----------------------

I am asking for two different error messages, so I have opened two reports.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------