[m-dev.] diff: added bag__to_list to bag.m

Fergus Henderson fjh at cs.mu.oz.au
Fri Oct 3 19:37:21 AEST 1997


Christopher Rodd SPEIRS, you wrote:
> +	% make a list from a bag.  The constructed list may contain
> +	% duplicates.
> +:- pred bag__to_list(bag(T), list(T)).
> +:- mode bag__to_list(in, out) is det.

The documentation is an under-specification.
Is the list sorted?  If not, what order is it in?
If it contains duplicates, how many duplicates will it contain?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.



More information about the developers mailing list