Hello william, Thursday, June 22, 2006, 9:12:44 PM, you wrote:
sorry, i don't even understood your question > Thanks. Do I therefore able to conclude that none of the reductions using > instance declarations are not performed because of potential overlapping > instances? >>Ghc, unlike H98, supports instances like this: >> >>instance Eq [MyType] where >> a==b = True >> >>so this extension to type inference allows to use such instance even >>if MyType is not in Eq class -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe