14 Aug
2006
14 Aug
'06
11:34 a.m.
On 8/14/06, Jon Fairbairn
of course, there's no reason to do that, but what I'm proposing is that we allow default instance declarations in class declarations in much the same way as default methods:
I just realized that default superclass methods have a small problem:
module A contains instance Monad []
module B contains instance Functor []
module C imports A and B.
Do we complain about a duplicate instance declarations? If not, does
the use of fmap in A use the default definition, or the one from B?
--
Taral