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

[Paul Bone]

On Fri, Nov 21, 2014 at 03:08:10PM +0100, Matthias Güdemann wrote:
> Hi,
> 
> here is a new version which includes the changes I described in the last
> mail. In particular:
> 
>   - the type is now psqueue(P, K), i.e, has the priority as first
>     argument, just as pqueue does
>   - the argument order of the predicates is now in line with first
>     priority then key
>   - all predicates which transform a psqueue have the in/out mode
>     psqueue pair as last arguments, to allow for state threading
> 
> Note, that the sequence of priority and keys is only changed for the
> interface; in the implementation, both the internal type representation
> and view types have not been changed.
> 
> best regards
> Matthias
> 

Hi Matthias,

I've adding this to Mercury at the moment.  Do you have some test code that
I can commit to the test suite?

I'm very sorry for making this drag on.  I'll commit the code now and fix up
the few minor issues with a commit of my own.

Thanks.


-- 
Paul Bone