%---------------------------------------------------------------------------% % vim: ts=4 sw=4 et ft=mercury %---------------------------------------------------------------------------% :- module bug484. :- interface. :- import_module list. :- pred p(int::in, list(int)::out, list(int)::out) is det. :- implementation. :- import_module int. p(X, As, Bs) :- list.foldl(q, As, X, B), Bs = [B]. :- pred q(int::in, int::in, int::out) is det. q(A, U, V) :- V = A + U.