<html> <head> <style> .hmmessage P { margin:0px; padding:0px } body.hmmessage { FONT-SIZE: 10pt; FONT-FAMILY:Tahoma } </style> </head> <body class='hmmessage'> 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). <hr />Find thousands of jobs online now! <a href='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 ' target='_new'>NEW jobsjobsjobs.com.au. </a></body> </html>