From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 428D3BC8E for ; Fri, 4 Feb 2005 21:18:49 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j14KImNo004641 for ; Fri, 4 Feb 2005 21:18:49 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA07034 for ; Fri, 4 Feb 2005 21:18:48 +0100 (MET) Received: from rproxy.gmail.com (rproxy.gmail.com [64.233.170.194]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j14KIlhg008800 for ; Fri, 4 Feb 2005 21:18:48 +0100 Received: by rproxy.gmail.com with SMTP id i8so158247rne for ; Fri, 04 Feb 2005 12:18:47 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:references; b=ZO8T/EH1nb3r46W+W8iZH++q9Aa0h6M4aV+qiaML2Xs9Xb97SXTf93xzNvZ0FoN+XcyjfwXEMHyYtH7sPZOZE/1SoIAa4hVfBO12oTRzjNfBfFQxb62W1Yx7KFfm/BRR86OIq3BjKM1KhsoKXCYkIDlGZHq8KncS8lh1sbjnDZo= Received: by 10.38.126.77 with SMTP id y77mr5682rnc; Fri, 04 Feb 2005 12:18:47 -0800 (PST) Received: by 10.38.65.58 with HTTP; Fri, 4 Feb 2005 12:18:47 -0800 (PST) Message-ID: <7f8e92aa0502041218e77ff26@mail.gmail.com> Date: Fri, 4 Feb 2005 22:18:47 +0200 From: Radu Grigore Reply-To: Radu Grigore To: caml-list@inria.fr Subject: Re: [Caml-list] Missing a function In-Reply-To: <7f8e92aa05012911345344cbc6@mail.gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit References: <9E571848-430E-11D9-AF66-000A95CDFBE4@cs.unc.edu> <281F644B-43EF-11D9-BA22-000D9345235C@inria.fr> <6FBBD2B0-44FC-11D9-AF66-000A95CDFBE4@cs.unc.edu> <1102062166.666.25.camel@localhost> <001501c4d9f1$1b1c4600$0100a8c0@mshome.net> <41B1BAD4.2000004@yahoo.fr> <003601c4da0b$774ac220$0100a8c0@mshome.net> <7f8e92aa05012911345344cbc6@mail.gmail.com> X-Miltered: at concorde with ID 4203D8A8.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4203D8A7.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 wrote:01 ocaml:01 reusing:01 ...:98 height:98 ...:98 tree:02 btw:02 balanced:02 similarly:03 radu:05 radu:05 probably:05 probably:05 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.2 X-Spam-Level: On Sat, 29 Jan 2005 21:34:28 +0200, Radu Grigore wrote: > I do not have the ocaml sources handy right now but... Set and Map are > probably RB-trees. Map is not a RB-tree but a height balanced tree: HB(2). (haven't looked at Set) BTW, what does the license say about reusing the code in map.ml? Please use simple terms for people that don't like to deal with administrative stuff. The ideal response would be: do it / don't do it :) (Now that I have read the code I would probably write it very similarly even if I would not look at it any more...) -- regards, radu http://rgrig.idilis.ro/