[m-rev.] for review: improve variable naming in the debugger

[Zoltan Somogyi]

On 06-Jun-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> compiler/typecheck.m:
> 	For predicates with a single clause, attempt to replace the
> 	`HeadVar__N' variables with the user's original head variables.
> 

What happens if the predicate has more than one clause, but all the clauses
give the same name to an argument?

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