Browse thread
Objective Caml release 3.08.2
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2004-11-25 (15:53) |
From: | skaller <skaller@u...> |
Subject: | Re: [Caml-list] Objective Caml release 3.08.2 |
On Fri, 2004-11-26 at 01:47, Frédéric Gava wrote: > > > - stdlib: wrong order in Set.fold (PR#3161) > > Why an order for the fold operator ? Because Set.t is an ordered container, and order matters for folds if the operator being folded isn't associative. These functions are deterministic and depend on order: Set.min_elt, Set.max_elt, Set.elements, Set.fold, Set.iter Set.choose, however, chooses at random, and Set.for_all doesn't appear to be ordered either (is that a bug in the doc or deliberate?) -- John Skaller, mailto:skaller@users.sf.net voice: 061-2-9660-0850, snail: PO BOX 401 Glebe NSW 2037 Australia Checkout the Felix programming language http://felix.sf.net