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

[Simon Taylor]

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.

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