Malcolm Wallace wrote

However, if you are indeed correct, then we have an even stranger situation:

import A (g)

brings only A.g into scope, but

import A hiding (f)

brings both A.f and A.g into scope! So `hiding' is doing the opposite of hiding, and in fact _reveals_ names.

Yes, I agree that this is quite strange (and the keyword hiding is quite misleading in this case). Probably, it is the best idea to remove the restriction that hiding clauses apply only to unqualified names from the report as you and Simon are suggesting. Regards Wolfgang -- Wolfgang Lux Phone: +49-251-83-38263 Institut fuer Wirtschaftinformatik FAX: +49-251-83-38259 Universitaet Muenster Email: wlux@uni-muenster.de