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

[Erwan Jahier]

| Workspace: /home/mercury0/fjh/mercury
| Index: NEWS
| ===================================================================
| RCS file: /home/mercury1/repository/mercury/NEWS,v
| retrieving revision 1.149
| diff -u -d -r1.149 NEWS
| --- NEWS	1999/10/20 03:13:52	1.149
| +++ NEWS	1999/10/25 16:29:45
| @@ -4,6 +4,25 @@
|  Changes to the Mercury language:
|  ********************************
|  
| +* The Mercury type system now supports existentially quantified types.
| +
| +  Existential types let you create heterogenous collections (e.g. lists
| +  containing objects of different types).  In combination with type
| +  classes, they allow you to write code in a style resembling that
| +  often used in many object oriented programming languages.  

I can't parse that last sentence (but I can't tell whether it is due to my 
poor English or to missing words...).

A part from that, it looks fine.
-- 
R1.


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