[m-dev.] On the addition of assertions

[Peter Schachte]

On Tue, Aug 24, 1999 at 07:01:15PM +1000, Fergus Henderson wrote:
> Often an assertion may be intended to describe one predicate (or function),
> but it may mention several different predicates and/or functions.
> Some of these may be from other modules.

Yes, I did acknowledge this would arise, but your example is pretty
convincing that it must be allowed.  I'm still worried about the
maintenance problems it creates.

-- 
Peter Schachte                     Apologists for Economic Darwinism seem to
mailto:schachte at cs.mu.OZ.AU        forget that the goal is maximum aggregate
http://www.cs.mu.oz.au/~schachte/  utility -- not just having the fittest
PGP: finger schachte at 128.250.37.3  corporations. -- me 
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------