[m-dev.] Re: Bug in nondet code in debug grade

[Zoltan Somogyi]

> This one is a bug with nondet code generation.
> The compiler generates incorrect code for foo/1:
> 
> 	:- pred foo(int).
> 	:- mode foo(out) is nondet.
> 
> 	foo(X) :- bar(X), fail.
> 	foo(X) :- X = 2.
> 
> 	:- pred bar(int).
> 	:- mode bar(out) is nondet.

I have already given a preliminary fix (which did not pass bootcheck) to
Warwick. The final fix (which does) is in one of my workspaces awaiting
the completion of the documentation.

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