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 p5UBeSGu003176
	for <caml-list@sympa-roc.inria.fr>; Thu, 30 Jun 2011 13:40:28 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AukCAHtfDE7RVdi2kGdsb2JhbAA8AQMSmGaOZQgUAQEBAQkJDQcUBCGIeAKiIIwggkuEVDmIaAIDBoYrBIc6inWEdoEchgo8g1k
X-IronPort-AV: E=Sophos;i="4.65,449,1304287200"; 
   d="scan'208";a="97721693"
Received: from mail-qy0-f182.google.com ([209.85.216.182])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Jun 2011 13:40:22 +0200
Received: by qyk38 with SMTP id 38so1527810qyk.6
        for <caml-list@inria.fr>; Thu, 30 Jun 2011 04:40:21 -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:references
         :in-reply-to:x-enigmail-version:content-type
         :content-transfer-encoding;
        bh=i+N/aEK6a557qP9eDDzJ28606ZN0a/QkQBu1PA5wyU8=;
        b=hJ5pN+rbd0447+sYibNj/yWx5mLfu3w60t/asM9sHVbkNua3K1a7PPMXuhWBwYoL7k
         fnVIm6Oe9r6q1nbzf3qht46AR99A9Dr6jiYhFUjnV3v1fN66UKl8c8tk+SYZhdMjzaeN
         0dHuCmj2WiUimDCssp5yrHVi5rgVt/nFrFAuw=
Received: by 10.224.193.70 with SMTP id dt6mr1513638qab.213.1309434021201;
        Thu, 30 Jun 2011 04:40:21 -0700 (PDT)
Received: from [192.168.1.101] ([79.114.65.218])
        by mx.google.com with ESMTPS id u15sm1655106qcq.36.2011.06.30.04.40.19
        (version=SSLv3 cipher=OTHER);
        Thu, 30 Jun 2011 04:40:19 -0700 (PDT)
Message-ID: <4E0C60A1.7030103@gmail.com>
Date: Thu, 30 Jun 2011 14:40:17 +0300
From: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= <edwintorok@gmail.com>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.17) Gecko/20110606 Icedove/3.1.10
MIME-Version: 1.0
To: caml-list@inria.fr
References: <4E0C5E67.9010606@gmail.com>
In-Reply-To: <4E0C5E67.9010606@gmail.com>
X-Enigmail-Version: 1.1.2
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Priority queues

On 06/30/2011 02:30 PM, Andrew wrote:
> Hi there,
> 
> Does the standard library provide priority queues in OCaml? I'll be taking exams where I can use OCaml in a few days, but I couldn't find much documentation on priority queues online.
> 

No, but the manual has an example of implementing priority queues:
http://caml.inria.fr/pub/docs/manual-ocaml/manual004.html

> How would you implement Dijkstra's algorithm, otherwise?

C doesn't have priority queues either (ok C++ does),
but you can implement them yourself.

Best regards,
--Edwin