[m-dev.] Re: for review: add parsing/storing of assertions

[Fergus Henderson]

On 13-Jul-1999, Peter Schachte <schachte at cs.mu.OZ.AU> wrote:
> 
> There's another issue that should be raised:  should there be only one
> flavor of assertion?  I think there are really two different kinds:
> assertions that specify (part of) the semantics of a predicate or
> function, and assertions about their implementation.

I agree, although I would put it slightly differently: we want
both "assertions", that the compiler is allowed to rely on, and
"specifications", that the compiler is not allowed to rely on but is
allowed to check.

(petdr's current set of changes are only adding support for assertions,
not for specifications.)

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