[mercury-users] determinism inference for higher order predicate terms

[stormie at hotmail.it]

What can be wrong with the following program? 

At compilation I get the following error


$ mmc -E --make test1higherorder
Making Mercury/cs/test1higherorder.c
Uncaught Mercury exception:
Software Error: polymorphism.m: Sorry, not implemented: determinism inference for higher order predicate terms.
Stack dump not available in this grade.
** Error making `Mercury/cs/test1higherorder.c'.


% Mercury Compiler, version rotd-2007-08-30, configured for i686-pc-linux-gnu
%%%%%%%%%%%%%%%
:- module test1higherorder.
:- interface.
:- import_module io.
:- pred main(io::di, io::uo) is det.
:- implementation.
:- import_module list.
:- import_module int.

main(!IO) :-
    foldr(plus,[1,2,3,4],0,S),
    io.write(S,!IO)    .

:- pred plus(int,int,int).
:- mode plus(in,in,out).

plus(A,B,C):-
    C=int.plus(A,B).

_________________________________________________________________
NEW jobsjobsjobs.com.au. Find thousands of jobs online now!
http://a.ninemsn.com.au/b.aspx?URL=http%3A%2F%2Fad%2Eau%2Edoubleclick%2Enet%2Fclk%3B114014868%3B17770752%3Bi%3Fhttp%3A%2F%2Fwww%2Ejobsjobsjobs%2Ecom%2Eau&_t=762242361&_r=Hotmail_email_tagline_July07&_m=EXT
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20071003/1979b272/attachment.html>