http://d.puremagic.com/issues/show_bug.cgi?id=9300
--- Comment #1 from Don <[email protected]> 2013-02-05 02:08:47 PST --- Loop invariants were part of the D spec, a long time ago. They were discarded as being of negligible value. Compared to an assert, plus a comment, what do they add? while (cond) { // Loop invariant assert( xxx ); ... } Definitely the concept is very useful for reasoning about code. But that doesn't mean it needs specific language syntax. For example, it's easy for a static analysis tool to recognize this as a loop invariant. And I don't think you'll find a syntax that is nicer than what I wrote above! This is a feature which was previously evaluated and rejected. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
