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 IAA02532; Wed, 31 Oct 2001 08:53:41 +0100 (MET) 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 IAA02566 for ; Wed, 31 Oct 2001 08:53:40 +0100 (MET) Received: from mail.mimuw.edu.pl (paf87.warszawa.sdi.tpnet.pl [217.96.225.87]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f9V7rc113017 for ; Wed, 31 Oct 2001 08:53:38 +0100 (MET) Received: (from news@localhost) by mail.mimuw.edu.pl (PLD/8.9.3) id IAA32083 for caml-list@inria.fr; Wed, 31 Oct 2001 08:54:23 +0100 X-Authentication-Warning: qrnik.zagroda: news set sender to Marcin 'Qrczak' Kowalczyk using -f From: "Marcin 'Qrczak' Kowalczyk" Subject: [Caml-list] Sorting Date: Wed, 31 Oct 2001 07:54:16 +0000 (UTC) Organization: Klub Nieszkodliwych =?iso-8859-2?Q?Manjak=F3w?= Message-ID: X-Trace: qrnik.zagroda 1004514856 18008 192.168.0.1 (31 Oct 2001 07:54:16 GMT) X-Complaints-To: abuse@localhost NNTP-Posting-Date: Wed, 31 Oct 2001 07:54:16 +0000 (UTC) User-Agent: slrn/0.9.7.2 (Linux) To: caml-list@inria.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Sort.array : order:('a -> 'a -> bool) -> 'a array -> unit Sort.list : order:('a -> 'a -> bool) -> 'a list -> 'a list Array.sort : cmp:('a -> 'a -> int) -> 'a array -> unit List.sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list What are advantages and disadvantages in parametrizing either by '<' or by the 3-way comparison? -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ QRCZAK ------------------- 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