[m-rev.] trivial diff: update the todo list

[Ian MacLarty]

On 2 Mar 2006, at 04:59, Julien Fischer wrote:

>
> Estimated hours taken: 0.1
> Branches: main
>
> compiler/notes/todo.html:
> 	Update this file - we've implemented some of the things
> 	listed.
> Julien.
>
> Index: todo.html
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/compiler/notes/todo.html,v
> retrieving revision 1.16
> diff -u -r1.16 todo.html
> --- todo.html	14 Jul 2004 05:37:06 -0000	1.16
> +++ todo.html	2 Mar 2006 03:55:44 -0000
> @@ -157,9 +157,7 @@
>  <li> support back-ends other than LLDS
>  <li> allow interactive queries to refer to values generated by
>       the program being debugged
> -<li> conditional breakpoints
>  <li> trace semidet unifications
> -<li> graphical term browser
>  </ul>
>
>  <hr>
> @@ -170,10 +168,8 @@
>  <h2> type-system </h2>
>
>  <ul>
> -<li> allow explicit type qualifications `X : Type'
> -	[already done, but need to change module qualifier op to `.' first]
>
> -<li> allow std_util:construct/4 to work for existential types
> +<li> allow std_util.construct/4 to work for existential types
>
>  <li> remove limitation that higher-order terms are monomorphic.
>       i.e. allow universal quantifiers at the top level of
> @@ -376,8 +372,6 @@
>  <li> support for easier formal specification translation (eg a Z 
> library,
>       or Z to Mercury).
>
> -<li> improve support for constraint programming
> -

That should probably be left in until the semantics of solver types 
with respect to impurity are sorted out.

Ian.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------