[m-rev.] diff: fix the ssdb transformation

[Peter Ross]

On Thu, May 6, 2010 at 1:01 PM, Zoltan Somogyi <zs at csse.unimelb.edu.au> wrote:
> On 05-May-2010, Peter Ross <pro at missioncriticalit.com> wrote:
>> compiler/mercury_compile_middle_passes.m:
>>       Document why we call determinism_pass after the ssdb transformation.
>>
>> compiler/ssdebug.m:
>>       Fix two goal infos which had the incorrect determinism, which
>>       the determinism_pass wasn't fixing up.
>
> What makes you sure that all other goal_infos have the correct determinisms?

I'm sure they don't.

> And why is filling all the goal_infos with the right determinisms during the
> ssdebug transformation too hard to do?
>
It shouldn't be, but it hasn't been done yet.

All I was trying to do was get back to the state where I could compile
the above example in the ssdb grade.

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