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

[Peter Ross]

The key line is "which variables actually correspond to head variables"

Imagine
:- pred p(list(T), list(T), list(T)).
p(A, B, C)

p is defined with 3 `real' head variables, while the definition has 4
actual headvariables

p(TI_T, A, B, C)
then unused arg elimination

p_ua(TI_T, X, Y)

at this point it can be difficult to relate the arguments back to the
original code.  ie is X variable A or B, and is Y A or B.

Pete

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