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

Peter Ross petdr at cs.mu.OZ.AU
Wed Dec 22 13:45:17 AEDT 1999


On 22-Dec-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 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.
> 
Should it also go onto the 0.9 branch?
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list