On 11/2/06, Bulat Ziganshin [EMAIL PROTECTED] wrote:
Hello Malcolm,Thursday, November 2, 2006, 12:46:43 AM, you wrote: instance Num (Bar z) where and instance Num (Bar z) The former declares that _no_ methods are defined (except for defaults),
and the latter, with your proposal, that _all_
Hello Brian,
Thursday, November 2, 2006, 12:15:38 AM, you wrote:
In particular, I think having features like :
import M1 hiding (instance C T)
and
module M hiding (instance C T)
would eliminate the need for special-case handling of derived
instances (if two imported modules happen
Hello Malcolm,
Thursday, November 2, 2006, 12:46:43 AM, you wrote:
instance Num (Bar z) where
and
instance Num (Bar z)
The former declares that _no_ methods are defined (except for defaults),
and the latter, with your proposal, that _all_ methods are defined. The
i join to this