From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p6AI4hQh017522
	for <caml-list@sympa-roc.inria.fr>; Sun, 10 Jul 2011 20:04:43 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiwCAMfoGU7UnwckkGdsb2JhbABTpzwUAQEBAQkJDQcUBCGIegK/ZIY6BIcfkDOLSg
X-IronPort-AV: E=Sophos;i="4.65,509,1304287200"; 
   d="scan'208";a="102845134"
Received: from relay.ptn-ipout02.plus.net ([212.159.7.36])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Jul 2011 20:04:38 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av0EADPpGU7Unw4S/2dsb2JhbABTpzx3iHoCv2eGOgSHH5Azi0o
Received: from outmx06.plus.net ([212.159.14.18])
  by relay.ptn-ipout02.plus.net with ESMTP; 10 Jul 2011 19:04:37 +0100
Received: from [87.113.101.205] (helo=WinEight)
	 by outmx06.plus.net with esmtp (Exim) id 1QfyMv-00050V-72; Sun, 10 Jul 2011 19:04:37 +0100
From: "Jon Harrop" <jon@ffconsultancy.com>
To: "=?iso-8859-1?Q?'Jean-Christophe_Filli=E2tre'?=" <Jean-Christophe.Filliatre@lri.fr>
Cc: "'Caml List'" <caml-list@inria.fr>
References: <4E0CAEC3.7010804@gmail.com> <BANLkTinAfZGdJ19mRjpoqVTvN9dpCNymFw@mail.gmail.com> <4E0CC220.8010706@lri.fr> <028b01cc3e16$ee050210$ca0f0630$@ffconsultancy.com> <4E18AA85.7090707@lri.fr>
In-Reply-To: <4E18AA85.7090707@lri.fr>
Date: Sun, 10 Jul 2011 19:04:16 +0100
Message-ID: <02aa01cc3f2b$c8f31820$5ad94860$@ffconsultancy.com>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
X-Mailer: Microsoft Outlook 14.0
Thread-Index: AQI8G6UJXRbPZwVwzVnBSXz6cYYvFwHoRqBkAdc6MDQBlKVCBgEcT8/Tk9KcNoA=
Content-Language: en-gb
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p6AI4hQh017522
Subject: RE: [Caml-list] Priority queues, reloaded

Jean-Christophe Filliātre wrote:
> Hum... You forgot the 13 lines for function app :-) You must admit that
all
> together it's quite a lot of code (37 lines).

Ugh, yeah.

> The code for removal in AVLs is shorter (19 lines) and follows a simpler
logic
> (based on min_elt and remove_min_elt).

Point taken. :-)

Cheers,
Jon.