<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
I wonder if someone smarter than me could pull this all together into<br>
a neat syntax and system?<br>
- Merge function definitions and contracts into one thing, with a new<br>
variation of define/contract and define/contract/provide.<br>
- Let contracts be made inactive for performance, but remain in the<br>
code. Ideally can disable per-function as well as more globally like<br>
per-module?<br>
- Allow contracts&#39; doc value to be not simply their visibility in the<br>
source file, but also their visibility in a help system (which again<br>
can use the contracts whether live or disabled) that shows us the<br>
&quot;blue boxes&quot;.<br>
<div><div></div><br></div></blockquote><div><br>+1 <br></div></div>