hello, this was a bug in the report, the "B" import should not be qualified. it has been fixed in the latest version of the report.
[Sept 2001] "For example
module A ( module B, C.f, g ) where -- an invalid module import qualified B(f,g) import qualified C(f) g = True
There are name clashes in the export list between B.f and C.f and between g and B.g even though there are no name clashes within module A."
The latter example is now in fact a perfectly valid module, since there is no unqualified entity f in scope, and g and B.g do not refer to the same entity.
bye iavor -- ================================================== | Iavor S. Diatchki, Ph.D. student | | Department of Computer Science and Engineering | | School of OGI at OHSU | | http://www.cse.ogi.edu/~diatchki | ==================================================