[m-rev.] for review: constrained polymorphic insts

[David Overton]

On Sat, Aug 10, 2002 at 01:53:36AM +1000, Fergus Henderson wrote:
> On 13-Mar-2002, David Overton <dmo at cs.mu.OZ.AU> wrote:
> > 
> > Do you have any other review comments, or are you happy for me to commit
> > this now?
> 
> One thing I forgot: you should mention this change in the NEWS file.


Estimated hours taken: 0.1
Branches: main

NEWS:
	Mention constrained polymorphic modes in the section on changes to the
	Mercury language.

doc/reference_manual.texi:
	Fix a typo in the section on constrained polymorphic modes.

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.265
diff -u -r1.265 NEWS
--- NEWS	8 Aug 2002 06:25:37 -0000	1.265
+++ NEWS	12 Aug 2002 07:48:28 -0000
@@ -5,6 +5,7 @@
 ==========
 
 Changes to the Mercury language:
+* Support for constrained polymorphic modes.
 * Addition of state variable syntax.
 * Improved support for higher-order functions.
 * Predicate and function equivalence type and mode declarations.
@@ -30,6 +31,9 @@
 ================
 
 Changes to the Mercury language:
+
+* We have added support for constrained polymorphic modes.  See the section on
+  Constrained Polymorphic Modes in the Modes chapter of the reference manual.
 
 * A more general alternative to DCG syntax has been added to the language
   to simplify the manipulation of threaded state.  See the section on State
Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.255
diff -u -r1.255 reference_manual.texi
--- doc/reference_manual.texi	7 Aug 2002 23:07:29 -0000	1.255
+++ doc/reference_manual.texi	12 Aug 2002 07:50:07 -0000
@@ -2450,7 +2450,7 @@
 
 Also, if the constraint on an inst parameter is @samp{ground} then it
 is not necessary to give the constraint in the declaration.
-The example can be further shorted to
+The example can be further shortened to
 @example
 	:- mode append(in(list_skel(I)), in(list_skel(I)), out(list_skel(I))).
 @end example

-- 
David Overton                  Uni of Melbourne     +61 3 8344 9159
dmo at cs.mu.oz.au                Monash Uni (Clayton) +61 3 9905 5779
http://www.cs.mu.oz.au/~dmo    Mobile Phone         +61 4 0337 4393
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------