[Issue 7401] Pure contracts Unnecessarily strict

2021-01-23 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=7401 mhh changed: What|Removed |Added Status|NEW |RESOLVED CC|

[Issue 7401] Pure contracts Unnecessarily strict

2012-01-30 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7401 bearophile_h...@eml.cc changed: What|Removed |Added CC||bearophile_h...@eml.cc ---

[Issue 7401] Pure contracts Unnecessarily strict

2012-01-30 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7401 --- Comment #2 from Era Scarecrow rtcv...@yahoo.com 2012-01-30 14:55:06 PST --- (In reply to comment #1) See also issue 7224 (that asks kind of the opposite) In his remark, it seems rather silly. Of course it won't raise an exception when

[Issue 7401] Pure contracts Unnecessarily strict

2012-01-30 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7401 --- Comment #3 from bearophile_h...@eml.cc 2012-01-30 15:07:54 PST --- I think the right solution for this problem is to wait for to!string(int) to become pure. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email