On Tue, May 01, 2001 at 09:14:07PM +0100, Andrew Haley wrote: > Um. I thought the reason emit_label rather than expand_label was used > in such cases was precisely to avoid machinations with binding levels. If so, it would be good to have commentary to that effect. r~