[mercury-users] Structure reuse

[Fergus Henderson]

On 15-Jul-2003, Nancy Mazur <Nancy.Mazur at cs.kuleuven.ac.be> wrote:
> I thought 
> the philosophy of the Mercury compiler was always not to trust the 
> programmer, and therefore an automatic verification of these annotations 
> should still be done.

That is a slight overstatement.  The philosophy is to check everything
that can feasibly be checked.  But for those few cases where checking is
not (yet) feasible, we do allow some unchecked programmer declarations --
for example `promise_pure' and `promise_only_solution'.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------