Mutually recursive modules

[Richard Giraud]

Hello

I've been doing some work with mutually recursive modules (MRMs).  I'm 
familiar with the section in the User's Guide on how to do this and have 
successfully worked with MRMs with simple dependencies.  However, I have 
created a set of MRMs that I can't seem to get to compile because of 
type issues.

I can get the code to compile by combining all of the modules into a 
single, monolithic module; however, this breaks the conceptual design 
that I'm going for.  I may also be able to break the modules into 
smaller pieces that will compile, though I'm not sure about this and it, 
too, would break the conceptual design.

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?

Someone in Haskell Cafe mentioned that GHC 6.2 used a different scheme 
for MRMs (.hi-boot).  Is it still possible to use this?  Would it allow 
for compilation of arbitrary MRMs?

I can create a minimal case as an example, if it would be useful.

Thanks,

Richard