[m-rev.] for review: unification expressions

[Simon Taylor]

On 02-Nov-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> Estimated hours taken: 1
> 
> Add unification expressions, written `X @ Y', to the language. 
> `X @ Y' unifies X and Y and returns the result. Unification
> expressions can make switches more compact.

I'll commit this now.

Simon.

--- newsdb.inc	2001/11/12 10:21:16	1.1
+++ newsdb.inc	2001/11/12 10:48:29
@@ -21,14 +21,16 @@
 */
 
 $newsdb = array(
-"5 November 2001" => array("Unification expressions",
+"13 November 2001" => array("Unification expressions",
 
 "We've added a new kind of expression to the language.
 A unification expression, written `X @ Y', unifies X and Y and returns
 the result. Unification expressions are most useful when writing switches.
 See the \"Data-terms\" section of the \"Syntax\" chapter of the
 <A HREF=\"$ref_man_latest\">Mercury Language Reference Manual</A>
-for more details."
+for more details. The latest
+<A HREF=\"download/rotd.html\">release of the day</A>
+includes support for unification expressions."
 ),
 
 "4 November 2001" => array("New paper",
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------