On 12/11/2010, at 3:22 AM, Ozgur Akgun wrote: > On 11 November 2010 01:19, Richard O'Keefe <o...@cs.otago.ac.nz> wrote: > I'm not sure that it is desirable to have "many records in the > same module" in the first place. > > Amongst other reasons, > http://www.haskell.org/haskellwiki/Mutually_recursive_modules
The Programatica project showed that recursive modules *could* be implemented; if I remember correctly, their module resolution code was in pure Haskell 98. However, I'll grant you the incomplete implementation status of Haskell98 as an argument for fusing what would have been mutually recursive modules (although I suspect that two-level types may be better). That still isn't an argument for >>MANY<< records in the same module. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe