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

[Tyson Dowd]

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

s/exit/exist/

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

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------