[m-rev.] [reuse] for review: preparing the field of annoting more specific aliases

[Peter Ross]

On Wed, Mar 21, 2001 at 11:08:55PM +0100, Nancy Mazur wrote:
> 
> Hi Peter, 
> 
> adding the alias-bits is a bit trickier than I thought... especially
> wrt renaming... I'm a bit stuck in how to rename the foreign_code
> attributes within make_hlds... at least I think that's where
> the renaming should occur ... : 
> 	- after having read in the pragma-information, 
> 	- it's in make_hlds that this pragma-information is 
> 	  processed and finally stored in the clauses-info... so that's
> 	  why renaming should be done there (so that the expressed
> 	  aliases are renamed to the formal variables and type-variables... )
> 
> That's work for tomorrow though... as I don't fully understand what's
> going in clauses_info_add_pragma_foreign_code... 
> 
This looks fine.

You need to modify clauses_info_add_pragma_foreign_code.
Look at the code for insert_arg_unifications to see how the
head-variables are renamed.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------