Ticket #2359: patch.txt

New patches:

[Fixed typo in updateMinWithKey / updateMaxWithKey
sedillard@gmail.com**20080704054350] {
hunk ./Data/IntMap.hs 843
-        Bin p m l r | m < 0 -> let t' = updateMinWithKeyUnsigned f l in Bin p m t' r
-        Bin p m l r         -> let t' = updateMinWithKeyUnsigned f r in Bin p m l t'
+        Bin p m l r | m < 0 -> let t' = updateMinWithKeyUnsigned f r in Bin p m l t'
+        Bin p m l r         -> let t' = updateMinWithKeyUnsigned f l in Bin p m t' r
hunk ./Data/IntMap.hs 851
-        Bin p m l r -> let t' = updateMinWithKeyUnsigned f r in Bin p m l t'
+        Bin p m l r -> let t' = updateMinWithKeyUnsigned f l in Bin p m t' r
hunk ./Data/IntMap.hs 863
-        Bin p m _ r | m < 0 -> let t' = updateMaxWithKeyUnsigned f r in Bin p m r t'
-        Bin p m l _         -> let t' = updateMaxWithKeyUnsigned f l in Bin p m t' l
+        Bin p m l r | m < 0 -> let t' = updateMaxWithKeyUnsigned f l in Bin p m t' r
+        Bin p m l r         -> let t' = updateMaxWithKeyUnsigned f r in Bin p m l t'
hunk ./Data/IntMap.hs 1873
+
+
+{--------------------------------------------------------------------
+  updateMin / updateMax 
+--------------------------------------------------------------------}
+prop_UpdateMinMax :: [Key] -> Bool
+prop_UpdateMinMax xs =
+  let m = fromList [(x,0)|x<-xs]
+      minKey = fst . head . Prelude.filter ((==1).snd) . assocs . updateMin succ $ m
+      maxKey = fst . head . Prelude.filter ((==1).snd) . assocs . updateMax succ $ m
+  in  all (>=minKey) xs && all (<=maxKey) xs
+
}

Context:

[Make warning-clean with GHC again
Ian Lynagh <igloo@earth.li>**20080623232023
 With any luck we have now converged on a solution that works everywhere!
] 
[Undo more Data.Typeable-related breakage for non-ghc.
Malcolm.Wallace@cs.york.ac.uk**20080623092757] 
[Placate GHC with explicit import lists
Ian Lynagh <igloo@earth.li>**20080620183926] 
[undo breakage caused by -Wall cleaning
Malcolm.Wallace@cs.york.ac.uk**20080620093922
 The import of Data.Typeable is still required, at least for non-GHC.
] 
[Make the package -Wall clean
Ian Lynagh <igloo@earth.li>**20080618233627] 
[List particular extensions rather than -fglasgow-exts
Ian Lynagh <igloo@earth.li>**20080616232035] 
[Avoid using deprecated flags
Ian Lynagh <igloo@earth.li>**20080616145241] 
[TAG 2008-05-28
Ian Lynagh <igloo@earth.li>**20080528004309] 
Patch bundle hash:
c6dd65b54886fece69ccee570a5f27f944a538ce