explicit signatures and default for integer literals

[Mirko Rahn]

>>>Answer: Since somewhere an instance e.g. New [(a,Double)] (Map a Int)
>>>could be defined, leading to problems when threating 0 as (0::Int).

> There could be such an instance, but that's obviously not the case. 

No, suppose module A is the module with the definitions as before.

Now:

module B where

import A

instance New [(a,Double)] (Map a Int) where ...

When compiling A ghc cannot be sure, that there is no such instance, 
since it could be defined elsewhere.

regards,

-- 
-- Mirko Rahn -- Tel +49-721 608 7504 --
--- http://liinwww.ira.uka.de/~rahn/ ---