week45 mandatory part finished

[fp1415.git] / fp2 / week3 / mart / StdDynSet.icl

diff --git a/fp2/week3/mart/StdDynSet.icl b/fp2/week3/mart/StdDynSet.icl
index ffc2590..1202ce2 100644 (file)
--- a/fp2/week3/mart/StdDynSet.icl
+++ b/fp2/week3/mart/StdDynSet.icl
@@ -14,7 +14,10 @@ instance toString Set
 where toString (Set a) = abort "toString not implemented"\r
        \r
 instance == Set\r
-where == a b = abort "== instance voor Set nog niet geimplementeerd.\n"\r
+where \r
+       (==) (Set []) (Set []) = True\r
+       (==) (Set []) _ = False\r
+       (==) _ (Set []) = False\r
 \r
 toSet :: a -> Set | Set a\r
 toSet a = Set [dynamic a]\r