From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr 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 AB2C0BCBB for ; Sun, 20 Aug 2006 18:09:56 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k7KG9u2x032405 for ; Sun, 20 Aug 2006 18:09:56 +0200 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 SAA01002 for ; Sun, 20 Aug 2006 18:09:55 +0200 (MET DST) Received: from wr-out-f131.google.com (wr-out-f131.google.com [64.233.184.131]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k7KG9s2T032393 for ; Sun, 20 Aug 2006 18:09:54 +0200 Received: by wr-out-f131.google.com with SMTP id 20so57802wra for ; Sun, 20 Aug 2006 09:09:53 -0700 (PDT) Received: by 10.35.128.1 with SMTP id f1mr5295067pyn; Sun, 20 Aug 2006 09:09:53 -0700 (PDT) Received: by 10.35.102.15 with HTTP; Sun, 20 Aug 2006 09:09:53 -0700 (PDT) Message-ID: Date: Sun, 20 Aug 2006 12:09:53 -0400 From: "David Powers" To: jhsu1@email.sjsu.edu Subject: Re: [Caml-list] Keeping a sorted list vs sorting at the end? Cc: caml-list@inria.fr In-Reply-To: <44E7DD8E.1090707@email.sjsu.edu> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_52676_32941307.1156090193473" References: <44E7DD8E.1090707@email.sjsu.edu> X-j-chkmail-Score: MSGID : 44E88954.000 on concorde : j-chkmail score : XX : 0/20 2 X-j-chkmail-Score: MSGID : 44E88952.000 on concorde : j-chkmail score : XX : 0/20 2 X-Miltered: at concorde with ID 44E88954.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 44E88952.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; inserting:01 binary:01 heap:01 beginner's:01 ocaml:01 bug:01 inserting:01 binary:01 heap:01 beginner's:01 ocaml:01 bug:01 2006:98 couvrez:98 2006:98 X-Attachments: cset="UTF-8" cset="UTF-8" ------=_Part_52676_32941307.1156090193473 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 Content-Disposition: inline Um91Z2ggYW5hbHlzaXM6CgpJZiB0aGUgcHJvYmxlbSBpcyBnZW5lcmFsLCBrZWVwaW5nIGEgbGlz dCBzb3J0ZWQgaXMgdGhlIGVxdWl2YWxlbnQgb2YKaW5zZXJ0aW5nIHRoZSBtZW1iZXJzIGludG8g YSBwcmlvcml0eSBxdWV1ZSwgd2hpY2ggaXMgTyhuIGxnIG4pIChmb3IgYQpiaW5hcnkgaGVhcCkg Z29pbmcgaW4gYW5kIE8obikgd2Fsa2luZyB0aGUgdHJlZSBpZiB5b3UgaGF2ZSBhY2Nlc3MgdG8g dGhlCmludGVybmFsIHRyZWUgc3RydWN0dXJlICh2cyBjYWxsaW5nIGEgZ2V0LW1pbiBmdW5jdGlv biB0aGF0IHJlYmFsYW5jZXMgdGhlCnRyZWUgb3ZlciBhbmQgb3ZlcikuICBOb24tZ2VuZXJhbCBk YXRhIChrbm93biBib3VuZHMsIGV0YykgY2FuIGJlIGluc2V0ZWQKaW50byBhIHNvcnRlZCBkYXRh IHN0cnVjdHVyZSBpbiBsZXNzIHRpbWUuCgpDcmVhdGluZyBhIGxpc3QgYW5kIHRoZW4gc29ydGlu ZyBpdCBpcyBPKG4pIGZvciB0aGUgbGlzdCBjcmVhdGlvbiwgdGhlbiBhCnRoZW9yZXRpY2FsIE8o biBsZyBuKSBmb3IgdGhlIHNvcnQgKGFsdGhvdWdoIHBvc3NpYmx5IGxlc3MgKGV4cGVjdGVkIGNh c2UpCmluIHByYWN0aWNlIGRlcGVuZGluZyBvbiB0aGUgZGF0YSBhbmQgYWxnb3JpdGhtIHVzZWQp LCBhZnRlciB3aGljaCB0aGUgaXRlbXMKY2FuIGJlIHJlYWQgaW4gTyhuKS4gIFRoZSBwcm9ibGVt IHdpdGggdGhhdCBpcyB0aGF0LCB1bmxlc3MgdGhlIGRhdGEgc2l6ZSBpcwprbm93biwgdGhlIGxp c3QgbXVzdCBiZSBjb25zdHJ1Y3RlZCBhcyBhIGxpc3QgYW5kIG5vdCBhbiBBcnJheSwgd2hpY2gg bWVhbnMKdGhhdCB0aGUgc29ydCBpdHNlbGYgY2FuIGJlIHZlcnkgc2xvdyAob3IgYWRkcyBhbm90 aGVyIE8obikgY29udmVyc2lvbiBzdGVwCmZyb20gTGlzdCB0byBBcnJheSkuCgpGaW5hbCB0YWxs eSBzZWVtcyB0byB2ZXJ5IHNsaWdodGx5IGZhdm9yIHRoZSBwcmlvcml0eSBxdWV1ZSBpZiBpdCBn aXZlcyB5b3UKZW5vdWdoIGFjY2VzcyB0byB3YWxrIHRoZSBzb3J0ZWQgdHJlZSBhbmQgeW91IGNh biBjcmVhdGUgdGhlIHRyZWUgZnJvbSBhCnN0cmVhbSBzb3VyY2Ugb2Ygc29tZSBzb3J0LiAgSWYg eW91IGFscmVhZHkgaGF2ZSB0aGUgZGF0YSBpbiBhbiBBcnJheSwgdGhlbgphbiBpbi1wbGFjZSBz b3J0IGlzIGxpa2VseSB0byB3aW4uCgotRGF2aWQKCgpPbiA4LzE5LzA2LCBqZWFuLWRhdmlkIGhz dSA8amhzdTFAZW1haWwuc2pzdS5lZHU+IHdyb3RlOgo+Cj4gSnVzdCB3b25kZXJpbmcgb24gdGhl IGF2ZXJhZ2UgaWYgaXQgaXMgbW9yZSBlZmZpY2llbnQgdG8gdGFrZSB0aW1lIHRvCj4ga2VlcCBh IGxpc3Qgc29ydGVkIGFzIHdlIGluc2VydCBvciBzaW1wbHkgc29ydCB0aGUgbGlzdCBhdCB0aGUg ZW5kPwo+Cj4gSkQgSHN1Cj4KPgo+IHA1LnZlcnQudWtsLnlhaG9vLmNvbSB1bmNvbXByZXNzZWQg U3VuIEF1ZyAyMCAwMzoyNzowMSBHTVQgMjAwNgo+Cj4KPgo+IF9fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwo+ IETvv71jb3V2cmV6IHVuIG5vdXZlYXUgbW95ZW4gZGUgcG9zZXIgdG91dGVzIHZvcyBxdWVzdGlv bnMgcXVlbHF1ZSBzb2l0IGxlCj4gc3VqZXQgIQo+IFlhaG9vISBRdWVzdGlvbnMvUu+/vXBvbnNl cyBwb3VyIHBhcnRhZ2VyIHZvcyBjb25uYWlzc2FuY2VzLCB2b3Mgb3BpbmlvbnMgZXQKPiB2b3Mg ZXhw77+9cmllbmNlcy4KPiBodHRwOi8vZnIuYW5zd2Vycy55YWhvby5jb20KPgo+IF9fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCj4gQ2FtbC1saXN0IG1haWxp bmcgbGlzdC4gU3Vic2NyaXB0aW9uIG1hbmFnZW1lbnQ6Cj4gaHR0cDovL3lxdWVtLmlucmlhLmZy L2NnaS1iaW4vbWFpbG1hbi9saXN0aW5mby9jYW1sLWxpc3QKPiBBcmNoaXZlczogaHR0cDovL2Nh bWwuaW5yaWEuZnIKPiBCZWdpbm5lcidzIGxpc3Q6IGh0dHA6Ly9ncm91cHMueWFob28uY29tL2dy b3VwL29jYW1sX2JlZ2lubmVycwo+IEJ1ZyByZXBvcnRzOiBodHRwOi8vY2FtbC5pbnJpYS5mci9i aW4vY2FtbC1idWdzCj4K ------=_Part_52676_32941307.1156090193473 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: base64 Content-Disposition: inline Um91Z2ggYW5hbHlzaXM6PGJyPjxicj5JZiB0aGUgcHJvYmxlbSBpcyBnZW5lcmFsLCBrZWVwaW5n IGEgbGlzdCBzb3J0ZWQgaXMgdGhlIGVxdWl2YWxlbnQgb2YgaW5zZXJ0aW5nIHRoZSBtZW1iZXJz IGludG8gYSBwcmlvcml0eSBxdWV1ZSwgd2hpY2ggaXMgTyhuIGxnIG4pIChmb3IgYSBiaW5hcnkg aGVhcCkgZ29pbmcgaW4gYW5kIE8obikgd2Fsa2luZyB0aGUgdHJlZSBpZiB5b3UgaGF2ZSBhY2Nl c3MgdG8gdGhlIGludGVybmFsIHRyZWUgc3RydWN0dXJlICh2cyBjYWxsaW5nIGEgZ2V0LW1pbiBm dW5jdGlvbiB0aGF0IHJlYmFsYW5jZXMgdGhlIHRyZWUgb3ZlciBhbmQgb3ZlcikuJm5ic3A7IE5v bi1nZW5lcmFsIGRhdGEgKGtub3duIGJvdW5kcywgZXRjKSBjYW4gYmUgaW5zZXRlZCBpbnRvIGEg c29ydGVkIGRhdGEgc3RydWN0dXJlIGluIGxlc3MgdGltZS4KPGJyPjxicj5DcmVhdGluZyBhIGxp c3QgYW5kIHRoZW4gc29ydGluZyBpdCBpcyBPKG4pIGZvciB0aGUgbGlzdCBjcmVhdGlvbiwgdGhl biBhIHRoZW9yZXRpY2FsIE8obiBsZyBuKSBmb3IgdGhlIHNvcnQgKGFsdGhvdWdoIHBvc3NpYmx5 IGxlc3MgKGV4cGVjdGVkIGNhc2UpIGluIHByYWN0aWNlIGRlcGVuZGluZyBvbiB0aGUgZGF0YSBh bmQgYWxnb3JpdGhtIHVzZWQpLCBhZnRlciB3aGljaCB0aGUgaXRlbXMgY2FuIGJlIHJlYWQgaW4g TyhuKS4mbmJzcDsgVGhlIHByb2JsZW0gd2l0aCB0aGF0IGlzIHRoYXQsIHVubGVzcyB0aGUgZGF0 YSBzaXplIGlzIGtub3duLCB0aGUgbGlzdCBtdXN0IGJlIGNvbnN0cnVjdGVkIGFzIGEgbGlzdCBh bmQgbm90IGFuIEFycmF5LCB3aGljaCBtZWFucyB0aGF0IHRoZSBzb3J0IGl0c2VsZiBjYW4gYmUg dmVyeSBzbG93IChvciBhZGRzIGFub3RoZXIgTyhuKSBjb252ZXJzaW9uIHN0ZXAgZnJvbSBMaXN0 IHRvIEFycmF5KS4KPGJyPjxicj5GaW5hbCB0YWxseSBzZWVtcyB0byB2ZXJ5IHNsaWdodGx5IGZh dm9yIHRoZSBwcmlvcml0eSBxdWV1ZSBpZiBpdCBnaXZlcyB5b3UgZW5vdWdoIGFjY2VzcyB0byB3 YWxrIHRoZSBzb3J0ZWQgdHJlZSBhbmQgeW91IGNhbiBjcmVhdGUgdGhlIHRyZWUgZnJvbSBhIHN0 cmVhbSBzb3VyY2Ugb2Ygc29tZSBzb3J0LiZuYnNwOyBJZiB5b3UgYWxyZWFkeSBoYXZlIHRoZSBk YXRhIGluIGFuIEFycmF5LCB0aGVuIGFuIGluLXBsYWNlIHNvcnQgaXMgbGlrZWx5IHRvIHdpbi4K PGJyPjxicj4tRGF2aWQ8YnI+PGJyPjxicj48ZGl2PjxzcGFuIGNsYXNzPSJnbWFpbF9xdW90ZSI+ T24gOC8xOS8wNiwgPGIgY2xhc3M9ImdtYWlsX3NlbmRlcm5hbWUiPmplYW4tZGF2aWQgaHN1PC9i PiAmbHQ7PGEgaHJlZj0ibWFpbHRvOmpoc3UxQGVtYWlsLnNqc3UuZWR1Ij5qaHN1MUBlbWFpbC5z anN1LmVkdTwvYT4mZ3Q7IHdyb3RlOjwvc3Bhbj48YmxvY2txdW90ZSBjbGFzcz0iZ21haWxfcXVv dGUiIHN0eWxlPSJib3JkZXItbGVmdDogMXB4IHNvbGlkIHJnYigyMDQsIDIwNCwgMjA0KTsgbWFy Z2luOiAwcHQgMHB0IDBwdCAwLjhleDsgcGFkZGluZy1sZWZ0OiAxZXg7Ij4KSnVzdCB3b25kZXJp bmcgb24gdGhlIGF2ZXJhZ2UgaWYgaXQgaXMgbW9yZSBlZmZpY2llbnQgdG8gdGFrZSB0aW1lIHRv PGJyPmtlZXAgYSBsaXN0IHNvcnRlZCBhcyB3ZSBpbnNlcnQgb3Igc2ltcGx5IHNvcnQgdGhlIGxp c3QgYXQgdGhlIGVuZD88YnI+PGJyPkpEIEhzdTxicj48YnI+PGJyPiA8YSBocmVmPSJodHRwOi8v cDUudmVydC51a2wueWFob28uY29tIj5wNS52ZXJ0LnVrbC55YWhvby5jb20KPC9hPiB1bmNvbXBy ZXNzZWQgU3VuIEF1ZyAyMCAwMzoyNzowMSBHTVQgMjAwNjxicj48YnI+PGJyPl9fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fXzxicj5E77+9Y291dnJleiB1biBub3V2ZWF1IG1veWVuIGRlIHBvc2VyIHRvdXRlcyB2 b3MgcXVlc3Rpb25zIHF1ZWxxdWUgc29pdCBsZSBzdWpldCAhPGJyPgpZYWhvbyEgUXVlc3Rpb25z L1Lvv71wb25zZXMgcG91ciBwYXJ0YWdlciB2b3MgY29ubmFpc3NhbmNlcywgdm9zIG9waW5pb25z IGV0IHZvcyBleHDvv71yaWVuY2VzLjxicj48YSBocmVmPSJodHRwOi8vZnIuYW5zd2Vycy55YWhv by5jb20iPmh0dHA6Ly9mci5hbnN3ZXJzLnlhaG9vLmNvbTwvYT48YnI+PGJyPl9fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fPGJyPgpDYW1sLWxpc3QgbWFpbGlu ZyBsaXN0LiBTdWJzY3JpcHRpb24gbWFuYWdlbWVudDo8YnI+PGEgaHJlZj0iaHR0cDovL3lxdWVt LmlucmlhLmZyL2NnaS1iaW4vbWFpbG1hbi9saXN0aW5mby9jYW1sLWxpc3QiPmh0dHA6Ly95cXVl bS5pbnJpYS5mci9jZ2ktYmluL21haWxtYW4vbGlzdGluZm8vY2FtbC1saXN0PC9hPjxicj5BcmNo aXZlczogPGEgaHJlZj0iaHR0cDovL2NhbWwuaW5yaWEuZnIiPgpodHRwOi8vY2FtbC5pbnJpYS5m cjwvYT48YnI+QmVnaW5uZXIncyBsaXN0OiA8YSBocmVmPSJodHRwOi8vZ3JvdXBzLnlhaG9vLmNv bS9ncm91cC9vY2FtbF9iZWdpbm5lcnMiPmh0dHA6Ly9ncm91cHMueWFob28uY29tL2dyb3VwL29j YW1sX2JlZ2lubmVyczwvYT48YnI+QnVnIHJlcG9ydHM6IDxhIGhyZWY9Imh0dHA6Ly9jYW1sLmlu cmlhLmZyL2Jpbi9jYW1sLWJ1Z3MiPmh0dHA6Ly9jYW1sLmlucmlhLmZyL2Jpbi9jYW1sLWJ1Z3MK PC9hPjxicj48L2Jsb2NrcXVvdGU+PC9kaXY+PGJyPgo= ------=_Part_52676_32941307.1156090193473--