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

Paul Bone paul at bone.id.au
Thu Nov 27 12:05:00 AEDT 2014

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.


Paul Bone

More information about the reviews mailing list