overzealous defaulting?

John Meacham john at repetae.net
Tue Aug 24 04:59:20 EDT 2004

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 Meacham - ⑆repetae.net⑆john⑈ 

More information about the Glasgow-haskell-users mailing list