Not a bug, I'm sure, but: Hugs omits the module name in a qualified ID in its error messages. This makes it confusing in practice to use anything but a global naming convention for exported IDs, since otherwise the error messages become too ambiguous. For example, I have to call my term type Term.Term rather than Term.T since in error messages it shows up as just 'T', and I have T's exported from other modules as well. I really hate this; it makes qualified IDs fairly useless. -- Frank Atanassow, Dept. of Computer Science, Utrecht University Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands Tel +31 (030) 253-1012, Fax +31 (030) 251-3791