[m-rev.] diff: fix bug 159

[Julien Fischer]

On Tue, 14 Sep 2010, Zoltan Somogyi wrote:

> Fix Mantis bug #159.
>
> compiler/modecheck_goal.m:
> compiler/unique_modes.m:
> 	Fix two occurrences of the same bug. The bug was both plain mode
> 	checking and unique mode checking, when processing from_ground_term
> 	scopes, neglected to test whether the variable being constructed was
> 	live or not, and thus did not delete the scope in cases where it was
> 	not live, even though they both delete construction unifications in
> 	such circumstances.
>
> compiler/modecheck_unify.m:
> compiler/simplify.m:
> 	Improve the code style.
>
> tests/valid/bug159.m:
> 	Add the regression test for this bug.
>
> tests/valid/Mmakefile:
> tests/valid/Mercury.options:
> 	Enable the test case.

Merged onto 10.04 branch.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------