[Agda] Module definition order

[Ulf Norell]

On Thu, May 22, 2008 at 10:46 AM, Lennart Augustsson <lennart at augustsson.net>
wrote:

> OK, if you need a restriction about unfolding, then I guess definition
> order is all right for that.
> But why force it on the rest of the module?  It makes code
> organization rather ugly at times; I like to group related things
> together and now I can't.


That's a good point. A reasonable thing to do would be to force the
programmer to specify the strongly connected components, but allow them to
appear in any order.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080522/198fde9e/attachment.html