<br><br><div class="gmail_quote">On Tue, May 12, 2009 at 10:05 AM, Maurício <span dir="ltr">&lt;<a href="mailto:briqueabraque@yahoo.com">briqueabraque@yahoo.com</a>&gt;</span> wrote:<br><div>&lt;snip&gt; </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
(I think something like that could be nice when we have modules<br>
with 200 declarations and just a few are (not) going to be<br>
exported.)<br>
<br>
Thanks,<br>
Maurício<br>
<br></blockquote></div><br><div>Uh, show me such a module, and I&#39;ll show you a module that&#39;s quite bloated and desperately needs to be refactored.</div>