[m-rev.] diff: get the FD solver working again

[Ralph Becket]

Mark Brown, Tuesday, 13 December 2005:
> solvers/common/trunk/any_list.m:
> 	Add predicates and functions that are used by the FD solver, and
> 	were deleted by the recent import of extras/solver_types modules
> 	into this repository.
> @@ -1066,6 +1120,15 @@
>  any_list.map_corresponding(F, [A | As], [B | Bs]) =
>      [F(A, B) | any_list.map_corresponding(F, As, Bs)].
>  
> +any_list.map_corresponding(_, [], [], []).
> +any_list.map_corresponding(_, [], [_ | _], _) :-
> +    error("map_corresponding/4: mismatched list arguments").
> +any_list.map_corresponding(_, [_ | _], [], _) :-
> +    error("map_corresponding/4: mismatched list arguments").
> +any_list.map_corresponding(P, [A | As], [B | Bs], [C | Cs]) :-
> +    P(A, B, C),
> +    any_list.map_corresponding(P, As, Bs, Cs).
> +

I think the error messages should include the module name.  That is,
s/map_corresponding/any_list.map_corresponding/

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