[m-rev.] For post-commit review: Correct problems in the automatic parallelism analysis.

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Oct 7 16:00:08 AEDT 2010


On Thu, 7 Oct 2010, Paul Bone wrote:

> On Thu, Oct 07, 2010 at 02:40:41PM +1100, Julien Fischer wrote:
>>>
>>> ---
>>
>>> library/lazy.m:
>>>   Moved lazy.m from extras to the standard library.
>>
>> Did you delete the copy in extras?
>
> I'll fix it with a new commit.

You should also had some tests for lazy evaluation to the test suite.

>>> library/Mercury.options:
>>>   Add a work around for compiling lazy.m with intermodule optimisations.
>>
>> The problem and workaround below have nothing to do with intermodule optimisation.
>
> They where triggered during the intermodule pass and didn't occur when I had
> lazy.m in the deep_profiler directory which doesn't do intermodule
> optimisations.  Is termination a prerequsite of intermodule analysis?

No.  The problem shows up in the library directory because that is
compiled with --enable-termination; the deep_profiler directory isn't.

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



More information about the reviews mailing list