31 May
2005
31 May
'05
4:24 a.m.
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/ ---