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

[Nancy Mazur]

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

Got already there... now testing some examples... 
(bloody renaming indeed).. 
Nancy

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