From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA04406 for caml-redistribution; Mon, 29 Mar 1999 20:05:38 +0200 (MET DST) 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 SAA19602 for ; Mon, 29 Mar 1999 18:33:33 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id SAA15865; Mon, 29 Mar 1999 18:33:17 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA24358; Mon, 29 Mar 1999 18:33:17 +0200 (MET DST) Message-ID: <19990329183317.59444@pauillac.inria.fr> Date: Mon, 29 Mar 1999 18:33:17 +0200 From: Xavier Leroy To: James Hague , caml-list@inria.fr Subject: Re: Sort module musings References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.89.1 In-Reply-To: ; from James Hague on Wed, Mar 24, 1999 at 10:29:13AM -0600 Sender: weis > Following this pattern, Sort.list should be List.sort and Sort.array > should be Array.sort. > I expect that this has come up before, and there is a good justification > for the Sort module You're right, this naming is not consistent with the remainder of the library. I can't remember any good justification for it. - Xavier Leroy