[m-dev.] for review: improve documentation for list__zip

[Robert Ernst Johann JESCHOFNIK]

On Sun, 23 Jan 2000, Fergus Henderson wrote:

> +	%	then the second element of listA, then the second
> +	%	element of ListB, etc.).  When one of the lists goes
> +	% 	to empty, the remainder of the nonempty list is
> +	%	appended.

Perhaps "When one of the lists becomes empty, ..." instead?


rob

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------