[m-dev.] For review: doco on conditional expressions

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Sep 22 14:11:19 AEST 1998


On 22-Sep-1998, Thomas Charles CONWAY <conway at cs.mu.OZ.AU> wrote:
> doc/reference_manual.texi:
> 	Add some documentation on conditional expressions.
> 
> cvs diff: Diffing doc
> Index: doc/reference_manual.texi
> ===================================================================
> RCS file: /home/staff/zs/imp/mercury/doc/reference_manual.texi,v
> retrieving revision 1.102
> diff -u -r1.102 reference_manual.texi
> --- reference_manual.texi	1998/08/18 09:59:23	1.102
> +++ reference_manual.texi	1998/08/24 00:24:01
> @@ -669,7 +669,7 @@
>  higher-order function applications, and lambda expressions.
>  
>  A data-term is either a variable, a data-functor, a higher-order
> -function application, or a lambda expression.
> +function application, conditional expression or a lambda expression.

s/conditional expression/a conditional expression,/
                         ^^                      ^

> +A conditional expression is an expression of either of the two following
> +forms
> +
> + at example
> +(if Goal then Expression1 else Expression1)
> +(Goal -> Expression1 ; Expression2)
> + at end example
> +
> + at noindent
> + at samp{Goal} is a goal; @samp{Expression1} and @samp{Expression2} are
> +both data-terms. The semantics of a conditional expression is that
> +if @samp{Goal} is true, then the expression has the meaning of
> + at samp{Expression1}, else the expression has the meaning of @samp{Expression2}.

You should be using `@var{...}' for meta-variables.

Could you please post another diff when you've addressed the above points.
Thanks.

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



More information about the developers mailing list