[m-rev.] for review: [CTGC] bugfix, use typevarset from pred_info

[Nancy]

>>>> compiler/structure_reuse.direct.detect_garbage.m:
>>>> compiler/structure_reuse.direct.m:
>>>> compiler/structure_reuse.indirect.m:
>>>> compiler/structure_sharing.domain.m:
>>>> 	Use the typevarset from the pred_info structure when looking up
>>>> 	and renaming sharing information.
>>>> 	Thread pred_info until the place where it is used.
>>> Is there a test case for this bug?
>> Well, the list module wouldn't compile without the fix...
>> Should I add that kind of testcase somewhere (and how?)?
> 
> You would need to extract a testcase from the list module and add it
> to tests/valid (most probably).  I guess that since it's a standard
> library module adding a separate testcase for it at the moment
> isn't too important.

You're right... so I'm leaving it...

Just committed the change.
Nancy

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------