On Mon, 2011-07-25 at 00:11 -0400, August Sodora wrote: > Out of (perhaps naive) curiosity, what difficulties does allowing such > overriding introduce? Wouldn't the module system prevent the ambiguity > of which implementation to use? > > August Sodora > [email protected] > (201) 280-8138 >
class A a where a :: a class A a => B b where b :: b a = b class A a => C c where c :: c a = c data BC = B | C deriving Show instance B BC where b = B instance C BC where c = C show (a :: BC) == ??? Regards
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
