[nhc-bugs] Renaming bug?

Malcolm Wallace Malcolm.Wallace@cs.york.ac.uk
Fri, 18 May 2001 16:44:09 +0100


>         Error when renaming::
> Unbound Identifier a0 at 4:44

Thanks for the bug report.  I can verify that this problem is still
present in the latest version of nhc98.  Someone will look into it
next week.

Regards,
    Malcolm