[m-rev.] diff: two new library predicates

[Ralph Becket]

Minor point...

Zoltan Somogyi, Monday, 26 May 2003:
> Index: library/list.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/library/list.m,v
> retrieving revision 1.111
> diff -u -b -r1.111 list.m
> --- library/list.m	3 Feb 2003 05:19:29 -0000	1.111
> +++ library/list.m	24 Mar 2003 08:19:04 -0000
> @@ -1356,6 +1368,12 @@
>  list__map_foldl(P, [H0 | T0], [H | T]) -->
>  	call(P, H0, H),
>  	list__map_foldl(P, T0, T).
> +
> +list__map2_foldl(_, [], [], []) -->
> +	[].
> +list__map2_foldl(P, [H0 | T0], [H1 | T1], [H2 | T2]) -->
> +	call(P, H0, H1, H2),
> +	list__map2_foldl(P, T0, T1, T2).

I'd prefer P(H0, H1, H2) to call(P, H0, H1, H2).

- Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------