[Haskell-cafe] Principal type in Haskell

[Bulat Ziganshin]

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:Bulat.Ziganshin at gmail.com