[m-dev.] 0.13 release

[Julien Fischer]

It's time to start work on the 0.13 release.  Here are a proposed timeline
and an initial todo list.

Proposed timeline
-----------------

* freeze repository/create 0.13 branch - mid March
* testing - late March, most of April
* 0.13 release - late April or early May

TODO list
---------

* purity system (see recent posts on mercury-developers)

* improve documentation for `mmc --make'

* Mercury with gcc 4.X
	- almost works in hlc.gc with 4.0.2 but
	  tests/hard_coded/typeclasses/complicated_constraint causes
	  an internal error

* shared libraries in asm_fast* grades on x86_64
	- code in mercury_goto.h needs additions for this?

* cannot build the compiler with `mmc --make' on Darwin

* trail usage analysis of calls to builtin.unify and builtin.compare

* shared libraries on Cygwin and MinGW.
	- we have some support for this but it hasn't been tested

* `mmc --make' does not work with MinGW

* clp(r) interface is broken
* extras/trailed_update is broken
	- these are both related to the purity thing above, it was
	  annoying to keep fixing them while the treatment of inst any
	  variables in negated contexts kept changing.

* fix up .NET backend
	- it generates invalid code for library/injection.m
	- make it work with .NET 2.0
	- Portable.NET/Mono(?)

* test MSVC support
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------