Re: Qualifying names when printing types & terms

[Jeffrey R. Lewis]

Sigbjorn Finne wrote:

> here's a tweak I made recently to Hugs98, which I find occasionally useful
> when debugging in the presence of multiple modules - qualifying names
> by their defining module when Hugs outputs types & terms.
>
> Others might find this useful too - patch appended. (To turn it on, use ":s
> +Q".)

Thanks Siggy!  It's now checked in.

--Jeff