[m-rev.] for review: improve determinism documentation

[Fergus Henderson]

On 21-Sep-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> 
> doc/reference_manual.texi:
> 	Make the documentation for the determinism
> 	categories more precise with respect to calls
> 	which do not return.
> 
> 	Change documentation referring to require__error/1 to
> 	also refer to exception__throw/1.
...
> +If all possible calls to a particular mode of a predicate or function
> +which return to the caller (calls which terminate, do not throw
> +an exception and do not cause a fatal runtime error)
> +
>  @itemize @bullet
>  @item
> -If all possible calls to a particular mode of a predicate or function
>  have exactly one solution,
>  then that mode is @dfn{deterministic} (@code{det}).
>  
>  @item
> -If all possible calls to a particular mode of a predicate or function
>  either have no solutions or have one solution,
>  then that mode is @dfn{semideterministic} (@code{semidet}).

Your change makes it ungrammatical.

One way to fix it would be to change the full stops (other than the
last one) to semicolons.

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