[mercury-users] Request for comments on this code

[Nicolas Pelletier]

Peter Hawkins <hawkinsp at cs.stanford.edu> writes:

>> 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.

Oops, you are right, of course. Thank you !

-- 
Nicolas
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------