From dbc700ae318715312242f04795b485ff9370d4ac Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 12 May 2015 15:55:58 +0200 Subject: week45 mandatory part finished --- fp2/week3/mart/StdDynSet.icl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'fp2/week3/mart/StdDynSet.icl') 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] -- cgit v1.2.3