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=1.4 required=5.0 tests=SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 3D2F7BC6C for ; Wed, 30 Jan 2008 19:10:37 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAEdMoEdC+VLtkmdsb2JhbACQJwEBAQEHBAQJChaXQYgb X-IronPort-AV: E=Sophos;i="4.25,278,1199660400"; d="scan'208";a="8547149" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Jan 2008 19:10:36 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0UIAVVG009736 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 30 Jan 2008 19:10:36 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAEdMoEdC+VLtkmdsb2JhbACQJwEBAQEHBAQJChaXQYgb X-IronPort-AV: E=Sophos;i="4.25,278,1199660400"; d="scan'208";a="8547148" Received: from wx-out-0506.google.com ([66.249.82.237]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Jan 2008 19:10:35 +0100 Received: by wx-out-0506.google.com with SMTP id h28so486261wxd.0 for ; Wed, 30 Jan 2008 10:10:34 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type:content-transfer-encoding; bh=4ZW6V7VMNggXJ/CW026Q7ciRYHIvOlwU4+53+loCxCI=; b=jdy+EdPnVaui7ZQeAMf0iBRKjcJoEEQvlOT5vNoWijdnyan7RpgbmgbOmRdYLECP/sAKMxhTnGxUvTJQXxmWlHEGAZVtpWRDeki6QGfh6ZdQfjqWf8Qih5zTqkLO0AXWI2LQfRMrf2SFAbi1wYgcHNMjynNa3O7J41mgXPk+qT4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type:content-transfer-encoding; b=HlqzKSAJJyr4fohEGfoAx/siXGBFVpMa6Vw4pOyyHD2HJtrtZJi7eUZYb/mFxU8qUpuAI5NajD0Obngoav7DyP7KQzgofLUpBQPFuGXON8riCrP35ZEIY5xhSl5aKx2fWq4WpsqZm8OQrQwDdhBlYRTusOlKy8MZMqLlGRIJem0= Received: by 10.70.29.14 with SMTP id c14mr643735wxc.86.1201716634588; Wed, 30 Jan 2008 10:10:34 -0800 (PST) Received: from ?192.168.0.16? ( [70.133.175.106]) by mx.google.com with ESMTPS id i19sm78782wxd.33.2008.01.30.10.10.21 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 30 Jan 2008 10:10:30 -0800 (PST) Message-ID: <47A0BD78.1050207@gmail.com> Date: Wed, 30 Jan 2008 12:10:00 -0600 From: Edgar Friendly User-Agent: Thunderbird 2.0.0.6 (X11/20071022) MIME-Version: 1.0 To: Christophe Raffalli Cc: caml-list@inria.fr Subject: Re: [Caml-list] strange timing between search trees References: <47993C41.1050900@univ-savoie.fr> <47A0B8E7.5010308@univ-savoie.fr> In-Reply-To: <47A0B8E7.5010308@univ-savoie.fr> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 47A0BD97.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 ocaml:01 node:01 node:01 edgar:98 23,:98 23,:98 wrote:01 caml-list:01 correctly:04 i'd:06 strange:08 i'm:09 skills:88 Christophe Raffalli wrote: > PS: I should create a page for "boring ocaml code whose writing is advised for meditation" to > store this code ;-) > Node3(Node4(t11,d11,t12,d12,t13,d13,t14),d14,Node3(t15,d1,t21,d21,t22),d2,t3) > | Node5(t11,d11,t12,d12,t13,d13,t14,d14,t15), Node3(t21,d21,t22,d22,t23), _ -> > Node3(Node4(t11,d11,t12,d12,t13,d13,t14),d14,Node4(t15,d1,t21,d21,t22,d22,t23),d2,t3) > | Node5(t11,d11,t12,d12,t13,d13,t14,d14,t15), Node4(t21,d21,t22,d22,t23,d23,t24), Node2(t31,d31,t32) -> > Node3(Node4(t11,d11,t12,d12,t13,d13,t14),d14,Node4(t15,d1,t21,d21,t22,d22,t23),d23,Node3(t24,d2,t31,d31,t32)) > | Node5(t11,d11,t12,d12,t13,d13,t14,d14,t15), Node4(t21,d21,t22,d22,t23,d23,t24), Node3(t31,d31,t32,d32,t33) -> > Node3(Node4(t11,d11,t12,d12,t13,d13,t14),d14,Node4(t15,d1,t21,d21,t22,d22,t23),d23,Node4(t24,d2,t31,d31,t32,d32,t33)) > Wow, even I'm impressed at this boring code... My eyes glaze over just looking at it - I'd need advanced meditative skills to produce such code correctly. E.