sue an error
report on the initial program
(in the presence of instance Eq (Maybe Bool) ...),
force the user to add `Eq (Maybe a)', and then compile new program
successfully?
It looks like there is some great confusion.
Maybe, the matter is in terminology: "deduced context",
"
Wed, 1 Mar 2000 21:09:17 +0300 (MSK), S.D.Mechveliani <[EMAIL PROTECTED]> pisze:
>But the instance (dictionary) for Eq [Bool] can be deduced in
>multiple ways! The first is the standard `deriving'. The second
>deduces from the user instance.
>But I have certain wise rules to
> The strongest objection I observed so far was that it agrees badly
> with writing programs to link to the object libraries given without
> sources. With overlaps, the interface module export types may start
> to depend on the single `import A' declaration.
> It will be harder to satisfy the l
ary) for Eq [Bool] can be deduced in
multiple ways! The first is the standard `deriving'. The second
deduces from the user instance.
But I have certain wise rules to resolve the choice ... Done!
I add the deduced context to declaration and continue compilation.
I keep mum:
