[m-dev.] for review: update NEWS and WORK_IN_PROGRESS

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Oct 26 03:10:45 AEST 1999

	Document the support for abstract instance declarations.

--- NEWS.old	Tue Oct 26 02:56:15 1999
+++ NEWS	Tue Oct 26 02:58:07 1999
@@ -17,6 +17,12 @@
   see the "Known bugs and limitations" section of the "Existential types"
   chapter of the Mercury Language Reference Manual.
+* We now allow abstract instance declarations.
+  You can declare in the interface of a module that a type is an
+  instance of a particular type class, and provide the definition
+  of that instance in the implementation section of that module.
 * We now support a simple form of user-defined infix operators.
   Terms in the form of x `fun` y are transformed into fun(x, y).  `fun`
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        |     -- the last words of T. S. Garp.
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list