[m-dev.] for review: update WORK_IN_PROGRESS file

[Fergus Henderson]

On 30-Oct-1998, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> > WORK_IN_PROGRESS:
> > 	- mention the support for aliasing, accumulator introduction,
> > 	  and specialization of polymorphic procedures (these are
> > 	  all committed onto the alias branch)
> 
> Specialization of polymorphic procedures was committed on the main branch.
> It's mentioned in the NEWS file. Maybe you meant user-guided/inter-module
> specialization of polymorphic procedures?

No, I was just mistaken.  I thought it had been committed on the alias
branch rather than the main branch.  I'll delete that bit.
Thanks for pointing out the mistake.

> The Aditi interface should probably be mentioned somewhere in
> WORK_IN_PROGRESS.

How about the following?

 | * Mercury is now the official programming language for Melbourne Uni's
 |   "Aditi" deductive database system.  The Mercury compiler includes
 |   support for interfacing to Aditi.  However Aditi itself is not yet
 |   complete and has not yet been made publicly available.

-- 
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 128.250.37.3        |     -- the last words of T. S. Garp.