[mercury-users] choicepoint IDs in the C interface

[Peter Biener]

Hello,

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.

Thanks,
Peter


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