On 8/14/06, Jon Fairbairn <[EMAIL PROTECTED]> wrote:
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
On 2006-08-14 at 12:03+0400 Bulat Ziganshin wrote:
> Hello Taral,
>
> Monday, August 14, 2006, 9:02:58 AM, you wrote:
>
> > In my opinion, an instance definition of a subclass should allow the
> > superclass's methods to be defined as if they were part of the
> > subclass, e.g.:
>
> > instance M
Hello Taral,
Monday, August 14, 2006, 9:02:58 AM, you wrote:
> In my opinion, an instance definition of a subclass should allow the
> superclass's methods to be defined as if they were part of the
> subclass, e.g.:
> instance Monad [] where
> fmap = map
> return x = [x]
> join = conc
