Re: [nhc-bugs] Renaming bug?

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