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

[Zoltan Somogyi]

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?
And why is filling all the goal_infos with the right determinisms during the
ssdebug transformation too hard to do?

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