Hello, There appears to be a problem when combinig "hiding" and "qualified" imports. Here is an example: module A where x = True module Main(main) where import qualified A hiding () main = print A.x When loading the second module (Main) Hugs (September 2006) complains that A.x is not in scope. It appears that this happens whenever there is a 'hiding' clause (it does not have to be empty) but it does not happen if the import is not qualified. -Iavor