[m-rev.] for review: [CTGC] user annotated sharing

[Julien Fischer]

On Thu, 29 Jun 2006, Nancy wrote:

> Hi Julien,
>

Hi.

> > Also, you will (most probably) need to update the predicate replace_in_item/9
> > in compiler/equiv_type.m, so that equivalence types in the sharing information
> > are expanded, i.e. that predicate needs to be modified to handle
> > foreign_procs.  I guess the smart recompilation system may also need to be
> > changed for this - have a look at the type item_type in
> > compiler/recompilation.m.
>
> I've looked into the equivalence types thing, and this would result in
> the diff added in attach. For the moment, I'm not recording anything
> back into the recompilation_info... should I add a new "item_type"

Yes, it looks like you'll need to add a new one for foreign_procs.

> (compiler/recompilation.m) ? Something like foreign_proc? or more
> specific sharing_foreign_proc?

foreign_proc should do.

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