[m-dev.] State of Play?

Tyson Dowd trd at cs.mu.OZ.AU
Fri Jul 28 10:37:31 AEST 2000


On 27-Jul-2000, Ralph Becket <rbeck at microsoft.com> wrote:
> 5. Decent support for laziness.

Zoltan recently submitted (and I think even checked in) a diff for 
removing unneeded goals or moving goals.  The analysis for this is
almost the same as what is required for laziness introduction.  
I have a workspace that accepts lazy(....some mode....) annotations on
modes.  That's about all the progress I have on the implementation.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list