[m-rev.] for review: priority search queue ADT

[Julien Fischer]

Hi Matthias,

On Fri, 31 Oct 2014, Matthias Güdemann wrote:

> For review by anyone:
>
> This implements a priority search queue ADT. This is a kind of blend
> between priority queues and search trees; in contrast to a priority
> queue, it also allows changing priorities of keys, looking up keys and
> deleting keys.
>
> This is an implementation based on the ICFP 2001 paper "A Simple
> Implementation Technique for Priority Search Queues" by Ralf Hinze.
>
> As stated in[2], I'd be willing to adhere to the required licensing to
> include this in the Mercury standard library. If this is not desired, it
> could be included as an extra in the Mercury distribution under the BSD
> license.

I think this should be included in the standard library, it provides
functionality that is not currently present.

W.r.t to license all standard library modules are currently licensed
under the LGPL.

I will post a review of the code at a later date (hoepfully soon).

Cheers,
Julien.