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

[Julien Fischer]

On Sat, 4 Mar 2006, Ian MacLarty wrote:

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

I agree it's still work-in-progress but it shouldn't be on the
wishlist any longer.

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