From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5UHDjtK019384
	for <caml-list@sympa-roc.inria.fr>; Thu, 30 Jun 2011 19:13:45 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmcDAAmuDE5KfVI0imdsb2JhbAA8AQMSmGaOaAgUAQEBCgkNBxIGIYh6oAyCUIwggkuEOzmIaAIDBoYrBJIvhHaBHIYKPINY
X-IronPort-AV: E=Sophos;i="4.65,453,1304287200"; 
   d="scan'208";a="97747605"
Received: from mail-ww0-f52.google.com ([74.125.82.52])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Jun 2011 19:13:40 +0200
Received: by wwf10 with SMTP id 10so2980376wwf.9
        for <caml-list@inria.fr>; Thu, 30 Jun 2011 10:13:39 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:subject
         :content-type:content-transfer-encoding;
        bh=w8UXedAWlXQ+q7j6yDS75Q9XCQ9WEl/RoFn08pWapJM=;
        b=h6IBcwSz4RiVU0wX1jkGwFTUxqERT2YpIIAXd/LuHTmCq2q9mplyIMTQ+xrWMK/pLS
         F6uryxgFSh0W8QS7TwcN7bF3R5Ur/xCzbUfxQm5ShoxzOjNio7hqrfxUrq6QQH0aEXZO
         xHsWKc3WYxMg8QmcqozOu0HWLI0IHrePiPN24=
Received: by 10.216.35.76 with SMTP id t54mr289384wea.26.1309454019771;
        Thu, 30 Jun 2011 10:13:39 -0700 (PDT)
Received: from [192.168.1.186] (106.165.7.93.rev.sfr.net [93.7.165.106])
        by mx.google.com with ESMTPS id fi5sm1768832wbb.56.2011.06.30.10.13.38
        (version=SSLv3 cipher=OTHER);
        Thu, 30 Jun 2011 10:13:38 -0700 (PDT)
Message-ID: <4E0CAEC3.7010804@gmail.com>
Date: Thu, 30 Jun 2011 19:13:39 +0200
From: Andrew <newsgroups.fr@gmail.com>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:5.0) Gecko/20110624 Thunderbird/5.0
MIME-Version: 1.0
To: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Priority queues, reloaded

Hi all,

Since the previous discussion regarding priority queues pretty much concluded that they weren't available in OCaml, 
could you point to the most compact implementation that you know of? I'm very likely to have to recode my own 
implementation in a time-restricted setting, so I'd love to hear about efficient-yet-easy/fast-to-implement options.

Thanks!