Re: [Haskell-cafe] mutually recursive modules

G'day all. Quoting Lennart Augustsson :

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. Cheers, Andrew Bromage