[m-dev.] On the addition of assertions

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Aug 25 17:44:34 AEST 1999


On 25-Aug-1999, Peter Ross <petdr at cs.mu.OZ.AU> wrote:
> On 24-Aug-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > For proper uses of assertions, the assertion should be true universally,
> > not true in some modules and false in others.  So that's not an issue
> > for proper uses of assertions.
> 
> Agreed.  However it is possible using the first of these proposals for
> assertions to be used inappropiately and for them, arguably, not to do
> what the programmer expected.
> 
> That IMHO is a problem.

You are right.  But I think it is one that can and should be solved
by appropriate documentation and education.

Cheers,
	Fergus.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list