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

Simon Taylor stayl at cs.mu.OZ.AU
Sun Sep 23 19:50:35 AEST 2001


On 23-Sep-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 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.

Done.

Simon.

--- reference_manual.texi	2001/09/23 08:30:18	1.1
+++ reference_manual.texi	2001/09/23 08:33:44
@@ -2320,19 +2320,19 @@
 @itemize @bullet
 @item
 have exactly one solution,
-then that mode is @dfn{deterministic} (@code{det}).
+then that mode is @dfn{deterministic} (@code{det});
 
 @item
 either have no solutions or have one solution,
-then that mode is @dfn{semideterministic} (@code{semidet}).
+then that mode is @dfn{semideterministic} (@code{semidet});
 
 @item
 have at least one solution but may have more,
-then that mode is @dfn{multisolution} (@code{multi}).
+then that mode is @dfn{multisolution} (@code{multi});
 
 @item
 have zero or more solutions,
-then that mode is @dfn{nondeterministic} (@code{nondet}).
+then that mode is @dfn{nondeterministic} (@code{nondet});
 
 @item
 fail without producing a solution,
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list