<br><div class="gmail_quote">On Thu, Sep 16, 2010 at 3:42 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@impredicative.com">adamc@impredicative.com</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
It occurs to me that it might be not-so-scary to support recursive modules that don't use recursion to define types. Maybe I'll try it some time.<br></blockquote><div><br></div><div>What if you required that functions that are referenced recursively be explicitly type-annotated and/or only be referenced by the url function, or the link attribute on <a> tags. Would that make it simpler to implement?</div>
</div>