Re: Mutually recursive modules

On Thu, Jun 5, 2008 at 4:46 PM, Richard Giraud wrote:

Does the current {-# SOURCE #-}/.hs-boot scheme allow for compilation of arbitrary MRMs? Or are there known cases where it doesn't work? If there are cases where it doesn't work, are there other options?

I don't think the .hs-boot method can deal with having a set of mutually recursive types split by module boundaries. If all you want to do is keep your API clean, you can stick all of your types in one monolithic module that isn't exposed by the package, and then re-export them in public modules. -Antoine