[Haskell-cafe] mutually recursive modules

ajb at spamcop.net ajb at spamcop.net
Mon Sep 27 02:38:11 EDT 2004

G'day all.

Quoting Lennart Augustsson <lennart at augustsson.net>:

> There is no reliable way to extract the interface from an
> implementation short of compiling the implementation.

...which strongly suggests a bug in the language.

> So the only "proper" way to handle mutually recursive module
> is to have hand-written interface files where there is a cycle.

At the risk of stating the obvious, there's no reason (apart from
incompatibility with the current language, of course) why this has
to be a separate file.

Andrew Bromage

More information about the Haskell-Cafe mailing list