23 Oct
2003
23 Oct
'03
11:37 a.m.
W liście z śro, 22-10-2003, godz. 06:15, Kenny pisze:
instance (Myeq a,Myeq [a]) => Myeq [a] where myeq (x:xs) (y:ys) = (myeq x y)&&(myeq xs ys)
I want to make the 2nd call of myeq to be of an instance function from the context instead of a recursive call.
Why? Since there can be at most one Myeq [a] instance in a program, this is the same. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/