3 Oct
2001
3 Oct
'01
3:59 a.m.
MK> 02 Oct 2001 15:16:27 +0300, Dmitry Astapov
I need to define SetsAsLists as an instance of Set by supplying definitions for all Set methods, but definitions I wrote led me to adding additional constraints on "union" and "memeber" methods.
MK> What constraints? The class already says that these operations require MK> Eq on the element type: [skip] Yes, they already there, but only because I placed them there. Original text from Tutorial does not have these constraints. -- Dmitry Astapov //ADEpt E-mail: adept@umc.com.ua GPG KeyID/fprint: F5D7639D/CA36 E6C4 815D 434D 0498 2B08 7867 4860 F5D7 639D