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

[Simon Taylor]

On 09-Aug-2002, Nancy Mazur <Nancy.Mazur at cs.kuleuven.ac.be> wrote:
> > So you can't do anything with the analysis information until
> > after polymorphism has been run. Where's the problem?
> 
> Haven't thought of that... so you mean: read in all the analysis-info in
> the beginning, but don't do anything with it until the analysis-pass
> itself which, as a preparation, has to run over all imported predicates
> and procedures and process the interface-information that was
> read in... But do I have a guarantee that all the imported preds and
> procs will be reshaped (as far as their headvars concerns) to the same
> shape as when they were actually analysed? Where can I find this
> guarantee? 

If they aren't transformed in the same way then inter-module
calls won't work.

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