A plea to mercury library developers

[Dan Sheppard]

A little request...

Please could the Mercury library developers stick to placing in/out
pairs in update predicates at the end of the argument list, so we can
use DCG predicates on them. The sort of predicates I'm thinking of are
map__* and graph__* where the format tends to be

foo__update(OldFoo,OtherStuff,NewFoo)

where

foo__update(OtherStuff,OldFoo,NewFoo)

would be more convenient. It also helps when writing predicates which
use higher-order predicates (such as list__foldl) if there is a
standard position for these arguments.

OTOH, I might have missed some crucial point...

Dan.