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 OAA08590; Wed, 31 Oct 2001 14:42:23 +0100 (MET) 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 OAA08551 for ; Wed, 31 Oct 2001 14:42:23 +0100 (MET) Received: from beaune.inria.fr (beaune.inria.fr [128.93.8.3]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f9VDgM125140 for ; Wed, 31 Oct 2001 14:42:22 +0100 (MET) Received: by beaune.inria.fr (8.8.8/1.1.22.3/14Sep99-0328PM) id OAA0000020573; Wed, 31 Oct 2001 14:42:22 +0100 (MET) Date: Wed, 31 Oct 2001 14:42:22 +0100 (MET) From: Damien Doligez Message-Id: <200110311342.OAA0000020573@beaune.inria.fr> To: caml-list@inria.fr Subject: Re: [Caml-list] Sorting Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >From: "Marcin 'Qrczak' Kowalczyk" >Sort.array : order:('a -> 'a -> bool) -> 'a array -> unit >Sort.list : order:('a -> 'a -> bool) -> 'a list -> 'a list Old functions, obsolescent. >Array.sort : cmp:('a -> 'a -> int) -> 'a array -> unit >List.sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list New functions. >What are advantages and disadvantages in parametrizing either by '<' >or by the 3-way comparison? It's better because it is more modern :-) Seriously, the 3-way comparison is more consistent with the definition of Map.OrderedType. -- Damien ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr