[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