
<html>

  <head>

    <meta content="text/html; charset=windows-1252"

      http-equiv="Content-Type">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    On 21/04/2015 12:23, Gustavo Carneiro wrote:<br>

    <blockquote

cite="mid:CAO-CpEJ29+pt6jGb2xFgKRwPnnH_pG_gBFkFzEf9GNbSApDT9Q@mail.gmail.com"

      type="cite">

      <div dir="ltr">

        <div class="gmail_extra">

          <div class="gmail_quote">Well, <br>

            <blockquote class="gmail_quote" style="margin:0 0 0

              .8ex;border-left:1px #ccc solid;padding-left:1ex">

              <div bgcolor="#FFFFFF" text="#000000">     (i) can be done

                with good documentation (docstrings etc.).<br>

              </div>

            </blockquote>

            <div><br>

            </div>

            <div>Documentation is not checked.  It often loses sync with

              the actual code.  Docs say one thing, code does another.</div>

          </div>

        </div>

      </div>

    </blockquote>

    That certainly something that could be fixed by formalising the

    documentation specification and having a checker check that rather

    than changing the syntax of the language...<br>

    <br>

    Chris<br>

  </body>

</html>