[m-rev.] for review: remove structure sharing info in add_pragma.m

[Julien Fischer]

On Tue, 29 Jan 2008, Peter Wang wrote:

> Branches: main
>
> In the handling of `:- pragma type_spec' declarations, a proc_info may be
> derived from a proc_info that holds structure sharing or reuse information.
> Since the specialised procedure won't have the same interface as the original
> procedure, that information won't be directly usable so we need to delete it.
>
> We do a similar thing in higher_order.m.  However, when making optimisation
> interfaces the higher order specialisation pass won't be run so we do it in
> add_pragma.m as well.
>
> compiler/add_pragma.m:
> 	As above.

That looks ok.

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