[m-rev.] for review: adding promise ex declarations to the hlds with error checking

[Peter Schachte]

On Fri, Feb 15, 2002 at 05:16:12PM +1100, Lars Yencken wrote:

> Added initial error checking of promise ex declarations, and adding
> the declarations into the HLDS as dummy predicates to leverage off
> the error checking done for predicates (similarly to how assertions
> were done). Following this, `promise_exclusive' and 
> `promise_exclusive_exhaustive' declarations are added into a 
> separate table in the HLDS.

But not promise_exhaustive?  Why not?

What about documentation in the reference manual?

-- 
Peter Schachte              Fools ignore complexity. Pragmatists suffer it.
schachte at cs.mu.OZ.AU        Some can avoid it. Geniuses remove it.
www.cs.mu.oz.au/~schachte/      -- Alan Perlis 
Phone: +61 3 8344 9166      
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------