[mercury-users] Request for comments on this code

[Peter Hawkins]

Hi...
On Jul 9, 2006, at 10:13 AM, Nicolas Pelletier wrote:

> Peter Moulder <Peter.Moulder at infotech.monash.edu.au> writes:
>
> I tried it but the compiler does not  seem to have  support for it yet
> (0.13.0-beta-2006-07-05).
>
> nicolas at reglisse:~/dev/dames$ mmc --make --verbose-error-messages  
> queens
> Making Mercury/int3s/queens.int3
> Making Mercury/cs/queens.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/queens.c'.
>

You need to put an explicit determinism annotation on the predicate  
declaration for queens (nondet would be appropriate). Most of  your  
other predicates have one, but queens seems to be lacking one.

Cheers,
Peter

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------