[m-dev.] for review: fix bug with reused choicepoint ids

[Warwick Harvey]

Fergus wrote:
> This change is an attempt to fix the problem that Warwick reported which
> choicepoint ids (as returned from MR_CurrentChoicepointId()) being
> reused during forward execution.
> 
> I think the basic idea of this fix is OK, but it's quite
> likely I have some of the details wrong, and as yet I haven't
> tested it.  Still, now would be a good time for any review
> comments...
> 
> ----------
> 
> Estimated hours taken: 10
> 
> Fix a bug where choice point ids were being reused after a commit,
> rather than only after backtracking.

This change seemed so simple, but the diff is so long...  :-)

I've only reviewed the compiler part so far, but that looks good.

Warwick

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------