A plea to mercury library developers
Dan.Sheppard at cl.cam.ac.uk
Fri Aug 22 00:49:24 AEST 1997
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
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...
More information about the users