Hello Claus,

Tuesday, February 28, 2006, 1:54:25 PM, you wrote:

CR>     class NEq a b
CR>     instance Fail a => NEq a a
CR>     instance NEq a b

i think that this definition just use ad-hoc overlapping instances
resolution mechanism that we want to avoid :)))

-- 
Best regards,
 Bulat                            mailto:[EMAIL PROTECTED]

_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime

Reply via email to