The following program (from the testsuite) is not legal Haskell'98 but is accepted by Hugs. The error is that you can't use the qualifier M inside M (at least, not without first explicitly importing M). tests/static/mod75.hs: --!!! Qualifying with local module name module M where f x = M.f x Looking at the code (static.c:findQualifier) it is clear that this "bug" is the intended behaviour. If someone (e.g., Johan) could add this to the list of known errors, I'll make the test suite stop reporting this as a bug. -- Alastair Reid reid@cs.utah.edu http://www.cs.utah.edu/~reid/