% In clause for `test(out(bound(1)))':
%   mode error: argument 1 became too instantiated.
%   Final instantiatedness of `V_5' was `bound(1)',
%   expected final instantiatedness was `(I =< ground)'.

:- module lambda.
:- interface.

:- pred test(int).
:- mode test(out(bound(1))) is det.

:- implementation.

test(X) :-
    P = id(1),
    P(X).

:- pred id(T, T).
:- mode id(in(I =< ground), out(I =< ground)) is det.

id(X, X).

%-----------------------------------------------------------------------------%
% vim: ft=mercury ts=4 sts=4 sw=4 et