overzealous defaulting?

[John Meacham]

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⑈