• d-bugmail puremagic.com (29/29) May 26 2011 http://d.puremagic.com/issues/show_bug.cgi?id=6060
• d-bugmail puremagic.com (15/15) Jan 24 2012 http://d.puremagic.com/issues/show_bug.cgi?id=6060
• d-bugmail puremagic.com (12/12) Jan 31 2012 http://d.puremagic.com/issues/show_bug.cgi?id=6060
• d-bugmail puremagic.com (36/37) Feb 05 2012 http://d.puremagic.com/issues/show_bug.cgi?id=6060
• d-bugmail puremagic.com (7/8) Feb 05 2012 http://d.puremagic.com/issues/show_bug.cgi?id=6060

d-bugmail puremagic.com writes:

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

           Summary: Refuse wrong final switch
           Product: D
           Version: D2
          Platform: x86
        OS/Version: Windows
            Status: NEW
          Keywords: accepts-invalid, diagnostic
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: bearophile_hugs eml.cc



This program compiles and runs with no errors:


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


But in such cases I suggest the compiler to statically refuse this code, and
give an error.

See also bug 5713 and bug 5714

Note this bug is different from 5713 because in 5713 I don't like an error
message (and I'd like the compiler to enforce the presence of the cases for
0,1, and 2), while in this case I'd like an error message.

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

d-bugmail puremagic.com writes:

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


Denis <verylonglogin.reg gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|accepts-invalid             |
                 CC|                            |verylonglogin.reg gmail.com
           Severity|normal                      |enhancement



---
With
https://github.com/D-Programming-Language/dmd/commit/11738ba260ced4d522d2334c5e99059a2517035d
the program throws appropriate exception. And the documentation doesn't claim
the program invalid. So it's an enhancement.

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

d-bugmail puremagic.com writes:

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


yebblies <yebblies gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |yebblies gmail.com
           Platform|x86                         |All
         OS/Version|Windows                     |All



Could you please clarify what this is asking for that issue 5713 doesn't cover?

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

d-bugmail puremagic.com writes:

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





 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: -------

d-bugmail puremagic.com writes:

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






 And the documentation doesn't claim the program invalid.

It's a broken design.

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