fixing FIXME.

kazu-yamamoto · Jan 31, 2012 · 6f35e82 · 6f35e82
1 parent 9c9fa35
commit 6f35e82
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/Data/Set/BUSplay.hs b/Data/Set/BUSplay.hs
@@ -221,7 +221,6 @@ maximum t = case uncurry splay $ searchMax t of
     s@(Node _ x _) -> (x, s)
 
 ----------------------------------------------------------------
--- FIXME: this is top down
 
 {-| Deleting the minimum element.
 

diff --git a/Data/Set/Splay.hs b/Data/Set/Splay.hs
@@ -171,7 +171,10 @@ False
 member :: Ord a => a -> Splay a -> (Bool, Splay a)
 member x t = case split x t of
     (l,True,r) -> (True, Node l x r)
-    _          -> (False, t) -- FIXME
+    (Leaf,_,r) -> (False, r)
+    (l,_,Leaf) -> (False, l)
+    (l,_,r)    -> let (m,l') = deleteMax l
+                  in (False, Node l' m r)
 
 ----------------------------------------------------------------