A plea to mercury library developers

Dan Sheppard 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 mailing list