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

Peter Schachte schachte at cs.mu.OZ.AU
Wed Dec 22 14:00:16 AEDT 1999


On Wed, Dec 22, 1999 at 12:39:36PM +1100, Simon Taylor wrote:
...
> Merge changes into the alias branch up to trunk_snapshot_19991217154951.
> 
> compiler/quantification.m:
> 	When processing a bi-implication, rename apart the local
> 	variables in the goals duplicated when the 

Could you finish that sentence?

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

-- 
Peter Schachte                     There never has been, nor will there ever
mailto:schachte at cs.mu.OZ.AU        be, any programming language in which it
http://www.cs.mu.oz.au/~schachte/  is the least bit difficult to write bad
PGP: finger schachte at 128.250.37.3  code. -- Lawrence Flon 
--------------------------------------------------------------------------
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