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

[David Glen JEFFERY]

On 22-Sep-1998, Thomas Charles CONWAY <conway at cs.mu.OZ.AU> wrote:
> For anyone to review...
> -- 
> Thomas Conway <conway at cs.mu.oz.au>
> Nail here [] for new monitor.  )O+
> 
> 
> 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.

I'm a little confused by this. How can a conditional expression be used as a
data term other than inside a lambda expression?


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
PhD student,                    |  Homer: Noooo.  I swear on this Bible!
Department of Computer Science  |  Marge: That's not a Bible; that's a book of
University of Melbourne         |         carpet samples!
Australia                       |  Homer: Ooooh... Fuzzy.