[m-rev.] for review: inter-module analysis framework

[Nancy Mazur]

* Simon Taylor <stayl at cs.mu.OZ.AU> [2002-08-09 13:56]:
> On 09-Aug-2002, Nancy.Mazur at cs.kuleuven.ac.be <Nancy.Mazur at cs.kuleuven.ac.be> wrote:
> > > Why would an analysis pass care what the "original" head variables were?
> > 
> > I mean "original" in the sense: no compiler-added variables. So that 
> > the arity corresponds with the declared arity. If you import a file
> > with a polymorphic predicate p/2, you need to have the analysis-info
> > available for this predicate in terms of the two headvars only (or else
> > the renaming comes into trouble)... 
> 
> I still don't understand why an analysis pass cares which variables
> were present in the original program. If you are reading terms
> containing variables from a file, and trying to match them against
> terms computed during the current compilation, you will always
> have to deal with renaming.

I don't mind the renaming, it'll always be needed of course, but I just
need to know which variables correspond to the actual headvariables... 

Just for the small example of append... dumping out the hlds at stage 48
or whatever gives something like: 
append:app(TypeInfo_for_T, HeadVar__1, HeadVar__2, HeadVar__3):- 
with a type-info variable artificially added to it... 
but of course, in the analysis results, I don't care about TypeInfo's,
even worse, I don't want them... I don't care whether the headvars are
listed as [HeadVar__1, ..] or [A,B,C]... 

anyway, never mind my objections, I'll try to sort it out like that... 

But now that we're talking about renamings, some time ago I remember
somebody (Zoltan?, Mark?) added a change so that during debugging the
original names used by the programmer in the program are used instead
of these awkward HeadVar__1, etc... 
Can somebody point me to those changes, because the online search
facilities are quite limited... 

Ciao ciao, 
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
--------------------------------------------------------------------------