[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 
> 
> Could you finish that sentence?

	 ... bi-implication is converted into an implication and a
	 reverse implication.

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