[m-dev.] [reuse] diff: lifo

[Fergus Henderson]

On 12-Oct-2000, Peter Ross <petdr at miscrit.be> wrote:
> +	% [ [1a,2a], [2b,1b], [2c,3c,1c] ] -> [1a, 2b, 2c, 2a, 1b, 3c, 1c]
> +:- func list_merge(list(list(T))) = list(T).
...
> +:- pred list_merge(list(list(T))::in, list(list(T))::out, list(T)::out) is det.

I think it would be a good idea to name those procedures something
different, to avoid confusion with the standard library procedure
list__merge.

-- 
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.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------