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

stormie at hotmail.it stormie at hotmail.it
Wed Oct 3 18:04:15 AEST 2007

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) :-
    io.write(S,!IO)    .

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


NEW jobsjobsjobs.com.au. Find thousands of jobs online now!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20071003/1979b272/attachment.html>

More information about the users mailing list