diff options
| author | Mart Lubbers | 2015-05-12 15:55:58 +0200 |
|---|---|---|
| committer | Mart Lubbers | 2015-05-12 15:55:58 +0200 |
| commit | dbc700ae318715312242f04795b485ff9370d4ac (patch) | |
| tree | 321314b726b65b22966396166da18c5153b31a8f /fp2/week3/mart/StdDynSet.icl | |
| parent | Week 3: student numbers; tarball (diff) | |
week45 mandatory part finished
Diffstat (limited to 'fp2/week3/mart/StdDynSet.icl')
| -rw-r--r-- | fp2/week3/mart/StdDynSet.icl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/fp2/week3/mart/StdDynSet.icl b/fp2/week3/mart/StdDynSet.icl index ffc2590..1202ce2 100644 --- 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"
instance == Set
-where == a b = abort "== instance voor Set nog niet geimplementeerd.\n"
+where
+ (==) (Set []) (Set []) = True
+ (==) (Set []) _ = False
+ (==) _ (Set []) = False
toSet :: a -> Set | Set a
toSet a = Set [dynamic a]
|