Original-Via: uk.ac.ed.aiai; Tue, 15 Oct 91 17:08:55 BST
> | Our Haskell in Haskell compiler modules are often unavoidably mutually
> | recursive. For small programs you may be right, but for large programs
> | mutually recursive modules are almost inevitable:
> |
> | i) There's always some implementation limit
> | on module size, even with a C compiler...
> |
> | ii) Readability or the need for separate working
> | may demand that a large module be broken into parts.
>
> I'm not sure I buy this.
Nor I. It looks like a confusion of module with compilation unit.
If the reason for allowing multual ref is to allow large modules
to be broken up, a mechanism specifically for that purpose would
be better.