digitalmars.D.bugs - [Issue 3388] New: [tdpl] contracts should allow throw expressions
- d-bugmail puremagic.com (29/29) Oct 12 2009 http://d.puremagic.com/issues/show_bug.cgi?id=3388
- d-bugmail puremagic.com (14/14) Oct 19 2009 http://d.puremagic.com/issues/show_bug.cgi?id=3388
- d-bugmail puremagic.com (10/10) Nov 22 2009 http://d.puremagic.com/issues/show_bug.cgi?id=3388
- d-bugmail puremagic.com (10/10) Nov 24 2009 http://d.puremagic.com/issues/show_bug.cgi?id=3388
- d-bugmail puremagic.com (12/12) Dec 06 2009 http://d.puremagic.com/issues/show_bug.cgi?id=3388
http://d.puremagic.com/issues/show_bug.cgi?id=3388 Summary: [tdpl] contracts should allow throw expressions Product: D Version: unspecified Platform: Other OS/Version: Linux Status: NEW Severity: normal Priority: P2 Component: DMD AssignedTo: nobody puremagic.com ReportedBy: andrei metalanguage.com 13:25:03 PDT --- Consider: void fun(int x) in { if (x < 0) throw new Exception("a"); } body { } This doesn't compile with: Error: Throw statements cannot be in contracts This is a useless limitation because a contract could always call a function that throws an arbitrary exception. So effectively the only effect is that it makes it difficult for functions to throw custom exceptions when their contracts are violated. The limitation should be lifted. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Oct 12 2009
http://d.puremagic.com/issues/show_bug.cgi?id=3388 Don <clugdbug yahoo.com.au> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |patch CC| |clugdbug yahoo.com.au This seems to work if you just comment out the error (statement.c 4299) (BTW a nothrow function can have a contract which calls functions that may throw. Not sure if that's OK or not, probably not but I think it's not urgent). -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Oct 19 2009
http://d.puremagic.com/issues/show_bug.cgi?id=3388 Leandro Lucarella <llucax gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |llucax gmail.com PST --- SVN commit: http://www.dsource.org/projects/dmd/changeset/261 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 22 2009
http://d.puremagic.com/issues/show_bug.cgi?id=3388 Koroskin Denis <2korden gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |2korden gmail.com --- *** Issue 3400 has been marked as a duplicate of this issue. *** -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 24 2009
http://d.puremagic.com/issues/show_bug.cgi?id=3388 Walter Bright <bugzilla digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |bugzilla digitalmars.com Resolution| |FIXED 00:52:33 PST --- Fixed dmd 2.037 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Dec 06 2009