From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA15714; Sun, 2 May 2004 12:24:31 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA16281 for ; Sun, 2 May 2004 12:24:29 +0200 (MET DST) Received: from out2.smtp.messagingengine.com (out2.smtp.messagingengine.com [66.111.4.26]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i42AOSSH027079 for ; Sun, 2 May 2004 12:24:28 +0200 X-Sasl-enc: 51/ssWII7xtqGUn0deFbJQ 1083493447 Received: from [192.168.1.100] (unknown [218.81.128.77]) by mail.messagingengine.com (Postfix) with ESMTP id 8302DADCFB0; Sun, 2 May 2004 06:24:05 -0400 (EDT) Date: Sun, 2 May 2004 18:23:57 +0800 (HKT) From: Martin Jambon X-X-Sender: martin@localhost To: Jon Harrop Cc: caml-list@inria.fr Subject: Re: [Caml-list] Set In-Reply-To: <200405020951.29626.jdh30@cam.ac.uk> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at concorde with ID 4094CC5C.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 unspecified:01 jambon:02 jambon:02 wrote:03 docs:03 fold:07 standard:07 seem:10 elements:12 but:16 martin:16 martin:16 set:19 set:19 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sun, 2 May 2004, Jon Harrop wrote: > When the docs for Set say that it presents elements in an "unspecified" order > to "fold" does it, in fact, always present them in increasing order? According to the implementation, yes (in fact in decreasing order), but this does not seem to part of the standard. Martin ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners