[m-rev.] For review: expand equivalence types and insts in mutable declarations

[Julien Fischer]

On Fri, 11 Nov 2005, Ralph Becket wrote:

> Estimated hours taken: 4
> Branches: main
>
> Ensure that equivalence types and insts in mutable items are properly
> expanded.
>
> compiler/equiv_type.m
> 	Make replace_in_item handle mutable/5 items.
>
> compiler/make_hlds_passes.m
> 	Delete an out-of-date comment.
>
> compiler/modules.m
> 	Fix a comment typo.
>
> compiler/recompilation.m
> compiler/recompilation.usage.m
> 	Add a new item_type for mutables (the equiv_type.m transformation
> 	needs to track the items where expansions occurr).
>
That looks fine.

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