[m-rev.] for review: parsing and pretty printing of promise ex declarations

[Fergus Henderson]

On 07-Feb-2002, Lars Yencken <lljy at students.cs.mu.oz.au> wrote:
> +		% assertions
> +	; 	true.			% promise expression is true

s/expression/goal/

> +++ compiler/notes/glossary.html	7 Feb 2002 02:18:34 -0000
> @@ -15,10 +15,11 @@
>  
>  <dl>
>  
> -<dt> assertion/promise
> +<dt> assertion
>  	<dd>
> -    A declaration that specifies a law that holds for the
> -    predicates/functions in the declaration.
> +	A particular form of promise which claims to the compiler 
> +	that the expression given will always hold. If useful, the 
> +	compiler may use this information to perform optimisations.

s/expression given/specified goal/


Otherwise that looks fine now.

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