[m-rev.] for review: fix problem reported by Sebastian

[Julien Fischer]

On Fri, 7 Apr 2006, Zoltan Somogyi wrote:

> compiler/constraint.m:
> 	Don't push constraints into scopes where they could change the meaning
> 	of the scope.
>
> 	Turn the predicate into a single disjunction to make the head variables
> 	meaningful (and consistent) names in the debugger.
>
> tests/Mmakefile:
> 	Compile the one_member test case with -O5, since the old bug in
> 	constraint.m doesn't manifest itself at the default optimization level.

That's fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------