[m-rev.] for review: fix HLDS dumps

[Fergus Henderson]

On 01-Jun-2001, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> Fix a problem in Fergus's recent change that broke HLDS dumps.
> 
> The change to make_hlds.m is by Fergus and is intended to prevent future
> problems; the change to hlds_out.m is enough to fix the HLDS dump problem.
> 
> compiler/hlds_out.m:
> 	When a clause is recorded as being applicable to a mode (procedure)
> 	that doesn't exit, ignore the mode instead of generating a lookup
> 	failure. The procedure may have been deleted by the dead procedure
> 	removal pass.
> 
> 	Also clean up an auxiliary procedure that was in the way.
> 
> compiler/make_hlds.m:
> 	When a clause applies to all modes, record this fact using an abstract
> 	representation of "all modes", instead of enumerating all modes
> 	currently existing.

That looks fine to me.

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