[m-dev.] Re: "bug/feature" in mercury any
dmo at hydra.cs.mu.oz.au
Thu Jan 14 12:23:55 AEDT 1999
On Wed, Jan 13, 1999 at 03:38:56PM EST, Warwick Harvey wrote:
> So, can anybody (Andrew?) say for sure whether this will be solved by alias
> tracking? And how far off is the alias tracking code?
Yes, this problem will definitely be solved by alias tracking. This
example should work fine on the current alias branch compiler which
you can obtain by doing `cvs update -ralias' in the `compiler/'
Alias tracking does not currently work across branched goals.
However, I am working on this at the moment and should hopefully have
it working soon.
David Overton Department of Computer Science & Software Engineering
MEngSc Student The University of Melbourne, Australia
+61 3 9344 9159 http://www.cs.mu.oz.au/~dmo
More information about the developers