[m-dev.] for review: update alias branch

[Simon Taylor]

> > > compiler/quantification.m:
> > > 	When processing a bi-implication, rename apart the local
> > > 	variables in the goals duplicated when the 
> > > 	Without this change, the code generator aborts during
> > > 	compilation of tests/hard_coded/quantifier2.m.
> > > 	This fix will be committed to the main branch as well.
> > 
> > Yes, please do.
> > 
> Should it also go onto the 0.9 branch?

Done.

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