[m-dev.] diff: list__foldl2

David Glen JEFFERY dgj at cs.mu.oz.au
Thu Jun 12 12:56:14 AEST 1997


> +:- pred list__foldl2(pred(X, Y, Y, Z, Z), list(X), Y, Y, Z, Z).
> +:- mode list__foldl2(pred(in, in, out, in, out) is det,
> +		in, in, out, in, out) is det.
> +:- mode list__foldl2(pred(in, in, out, di, uo) is det,
> +		in, in, out, di, uo) is det.

How about:
	:- mode list__foldl2(pred(in, in, out, di, uo) is det,
		in, di, uo, di, uo) is det.
?


love and cuddles,
dgj
-- 



This .sig deliberately left blank






More information about the developers mailing list