[mercury-users] choicepoint IDs in the C interface

Peter Biener pbi at info.fundp.ac.be
Wed May 13 01:43:44 AEST 2009


Thank you for your answer.
Have you found anything since then?
I would just like to ask if any correction can be expected in the next 
few weeks.


Julien Fischer wrote:
> It appears to be a bug; the choicepoint id is not being reset
> correctly after the execution of some if-then-elses inside io.print/3.
> We will take a look at it.
> Cheers,
> Julien.
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list