<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    I added a keyword "contracts" to bugzilla which you can use to tie
    these all together.<br>
    <br>
    On 5/2/2012 11:43 AM, Alex Rønne Petersen wrote:
    <blockquote
cite="mid:CAEnAdhb+1NXtqUo2W7viJ08UnHw-xremnnqL3BXEY1gRj91a4w@mail.gmail.com"
      type="cite">Hi,
      <div><br>
      </div>
      <div>I posted about this on the NG a good while back, but didn't
        get any feedback, so I'm trying here.</div>
      <div><br>
      </div>
      <div>Just a 'few' contract-related issues:<br>
        <br>
        * <a moz-do-not-send="true" class="moz-txt-link-freetext"
          href="http://d.puremagic.com/issues/show_bug.cgi?id=6857">http://d.puremagic.com/issues/show_bug.cgi?id=6857</a>
        <br>
        * <a moz-do-not-send="true" class="moz-txt-link-freetext"
          href="http://d.puremagic.com/issues/show_bug.cgi?id=7584">http://d.puremagic.com/issues/show_bug.cgi?id=7584</a>
        <br>
        * <a moz-do-not-send="true" class="moz-txt-link-freetext"
          href="http://d.puremagic.com/issues/show_bug.cgi?id=6549">http://d.puremagic.com/issues/show_bug.cgi?id=6549</a>
        <br>
        * <a moz-do-not-send="true" class="moz-txt-link-freetext"
          href="http://d.puremagic.com/issues/show_bug.cgi?id=6856">http://d.puremagic.com/issues/show_bug.cgi?id=6856</a>
        <br>
        * <a moz-do-not-send="true" class="moz-txt-link-freetext"
          href="http://d.puremagic.com/issues/show_bug.cgi?id=7337">http://d.puremagic.com/issues/show_bug.cgi?id=7337</a>
        <br>
        * <a moz-do-not-send="true" class="moz-txt-link-freetext"
          href="http://d.puremagic.com/issues/show_bug.cgi?id=5039">http://d.puremagic.com/issues/show_bug.cgi?id=5039</a>
        <br>
        * <a moz-do-not-send="true" class="moz-txt-link-freetext"
          href="http://d.puremagic.com/issues/show_bug.cgi?id=7517">http://d.puremagic.com/issues/show_bug.cgi?id=7517</a>
        <br>
        * <a moz-do-not-send="true" class="moz-txt-link-freetext"
          href="http://d.puremagic.com/issues/show_bug.cgi?id=519">http://d.puremagic.com/issues/show_bug.cgi?id=519</a> </div>
      <div><br>
        More subtle issues:<br>
        <br>
        * <a moz-do-not-send="true" class="moz-txt-link-freetext"
          href="http://d.puremagic.com/issues/show_bug.cgi?id=2350">http://d.puremagic.com/issues/show_bug.cgi?id=2350</a>
        <br>
        * <a moz-do-not-send="true" class="moz-txt-link-freetext"
          href="http://d.puremagic.com/issues/show_bug.cgi?id=4995">http://d.puremagic.com/issues/show_bug.cgi?id=4995</a>
        <br>
        <br>
        Syntactical issues/enhancements:<br>
        <br>
        * <a moz-do-not-send="true" class="moz-txt-link-freetext"
          href="http://d.puremagic.com/issues/show_bug.cgi?id=6415">http://d.puremagic.com/issues/show_bug.cgi?id=6415</a>
        <br>
        * <a moz-do-not-send="true" class="moz-txt-link-freetext"
          href="http://d.puremagic.com/issues/show_bug.cgi?id=5038">http://d.puremagic.com/issues/show_bug.cgi?id=5038</a>
        <br>
        * <a moz-do-not-send="true" class="moz-txt-link-freetext"
          href="http://d.puremagic.com/issues/show_bug.cgi?id=6453">http://d.puremagic.com/issues/show_bug.cgi?id=6453</a>
      </div>
      <div><br>
      </div>
      <div>Some of these issues are making contract programming in
        non-trivial D applications rather annoying compared to other
        languages such as C# with Code Contracts, Spec#, etc. See in
        particular 6549, 6856, 7337, 5039, 7517, 519, and 6453. Some of
        the issues above have pending pull requests too.</div>
      <div><br>
      </div>
      <div>Could some focus be put on sorting (at least some of) these
        issues out for this release? One of the top reasons I use D is
        because it has contract programming - it really helps one reason
        about complex software systems - so it would be nice if the
        implementation quality was improved to be more practical. Just
        the lack of contracts in abstract methods cripples the DbC
        support severely.</div>
      <div><br>
      </div>
      <div>Regards,</div>
      <div>Alex</div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
      <pre wrap="">_______________________________________________
dmd-internals mailing list
<a class="moz-txt-link-abbreviated" href="mailto:dmd-internals@puremagic.com">dmd-internals@puremagic.com</a>
<a class="moz-txt-link-freetext" href="http://lists.puremagic.com/mailman/listinfo/dmd-internals">http://lists.puremagic.com/mailman/listinfo/dmd-internals</a></pre>
    </blockquote>
  </body>
</html>