[Haskell-cafe] Cyclic Inclusions

[C.M.Brown]

Andrew,

[...]

> For the record, I have no problem with modules depending on each other,
> so long as they only depend on their well-defined interfaces.
>
> > Finally, as chris suggests, if separate compilation is important to
> > you, why not have a flag in ghc -frequire-hi-boot or something?
>

> Well, if I wanted separate header files, and the inevitable multiple-
> maintenance headaches associated with them, I'd program in C.  Except
> for mutually recursive modules, GHC can and does generate header files
> automatically, so I don't see why my time should be wasted doing the
> job of a compiler.
>
> If something is preventing the compiler from doing that job, then that
> something should be fixed.

But isn't this exactly the point I was trying to make!? The whole point,
to me, in functional programming, is that we shouldn't have to worry about
the underlying implementation. What you've listed above are the restrictions
of a particular compiler implementation. All of which, if needed, can be
controlled by a flag if compilation performance is so important.

Regards,
Chris.