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.2 required=5.0 tests=AWL 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 8D1A2BC6B for ; Sat, 4 Aug 2007 16:01:50 +0200 (CEST) Received: from 30.mail-out.ovh.net (30.mail-out.ovh.net [213.186.62.213]) by concorde.inria.fr (8.13.6/8.13.6) with SMTP id l74E1mGs012332 for ; Sat, 4 Aug 2007 16:01:50 +0200 Received: (qmail 17166 invoked by uid 503); 4 Aug 2007 14:02:11 -0000 Received: (QMFILT: 1.0); 04 Aug 2007 14:02:11 -0000 Received: from b7.ovh.net (HELO mail93.ha.ovh.net) (213.186.33.57) by 30.mail-out.ovh.net with SMTP; 4 Aug 2007 14:02:11 -0000 Received: from b0.ovh.net (HELO queue-out) (213.186.33.50) by b0.ovh.net with SMTP; 4 Aug 2007 14:01:56 -0000 Received: from vil93-4-82-227-140-227.fbx.proxad.net (HELO ?192.168.1.222?) (82.227.140.227) by ns0.ovh.net with SMTP; 4 Aug 2007 14:01:55 -0000 Message-ID: <46B486C6.2060105@philippewang.info> Date: Sat, 04 Aug 2007 16:01:42 +0200 From: Philippe Wang User-Agent: Thunderbird 1.5.0.12 (Macintosh/20070509) MIME-Version: 1.0 To: skaller Cc: tmp123@menta.net, ocaml ml Subject: Re: [Caml-list] Sorted list References: <46B4485B.7040406@menta.net> <46B454ED.700@philippewang.info> <1186226538.14440.105.camel@rosella.wigram> <46B46FB3.3090606@philippewang.info> <1186234786.32211.7.camel@rosella.wigram> In-Reply-To: <1186234786.32211.7.camel@rosella.wigram> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Ovh-Remote: 82.227.140.227 (vil93-4-82-227-140-227.fbx.proxad.net) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-Miltered: at concorde with ID 46B486CC.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; mandates:01 ocaml:01 wrote:01 caml-list:01 constraint:01 manual:06 weak:06 efficient:07 philippe:11 obligation:88 happens:13 should:13 isn't:13 type:14 type:14 skaller wrote: > >> It works ! ... Or did I miss something ? >> > > Yes. Read the manual: the ordered type mandates a total order. > > Just because the Ocaml type system is too weak too represent this > constraint does not remove your obligation to meet it. > > Whether or not it happens to work with the current implementation > isn't relevant. > > Ok... Still, using the current implementation (even if it means making a copy!) should be an efficient solution! :-)