[m-dev.] 0.13 release

[Ian MacLarty]

On 1 Mar 2006, at 05:27, Julien Fischer wrote:

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

Can you be more specific?  I can compile the xml parser with mmc --make 
on 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

Do we want the streams proposal to be in 0.13 (assuming we are able to 
come up with a design everyone is happy with)?

Ian.

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