This reminds me of something I have not quite figured out what should happen from the report
module A where import B a = 32 + b default (Integer) module B where import A b = 32 + a default (Int) so, what types do 'a' and 'b' get? ghc sort of sidesteps the issues with the hi-boot files, so they will get whatever is declared in those, but what is the correct thing that should happen in a fully recursive module supporting haskell compiler? John -- John Meacham - ârepetae.netâjohnâ _______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users