[m-rev.] for review: fix purity in tabling and optimization passes

[Fergus Henderson]

On 24-Mar-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> Estimated hours taken: 15
> Branches: main
> 
> Fix the handling of purity in the optimization and tabling passes.
> Without this change tests/tabling/unused_args.m fails with
> inter-module optimization.

That test is still failing on the release branch.

Since the fix is complicated, probably it is not worth porting the fix
to the release branch.  But it would be nice if you could disable
that test case on the release branch.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------