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

[Fergus Henderson]

On 22-Dec-1999, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> Merge changes into the alias branch up to trunk_snapshot_19991217154951.

That looks fine to me, Simon.

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

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------