<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>