[m-rev.] Proposal: move lazy.m from extras/ to library/

[Julien Fischer]

Hi,

On Wed, 29 Sep 2010, Paul Bone wrote:

> I'd like to move lazy.m from extras/lazy_evaluation/lazy.m to library/lazy.m or
> perhaps deep_profiler/lazy.m
>
> I've cleaned it up somewhat, this removes the foreign code and replaces it with
> mutvars.  Should I commit this back to extras first?
>
> This is my current version:

Ralph had an alternative version of this stuff somewhere - we should dig
it out later this afternoon and see what can be merged into this one.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------