[Ur] Recursive modules?

[Fredrik Roos]

On Thu, Sep 16, 2010 at 3:42 PM, Adam Chlipala <adamc at impredicative.com>wrote:
>
> 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.
>

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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20100916/141e595f/attachment.htm>