infelicity in module imports
Wed, 04 Jul 2001 19:38:40 +0200
Malcolm Wallace wrote
> However, if you are indeed correct, then we have an even stranger
> 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.
Wolfgang Lux Phone: +49-251-83-38263
Institut fuer Wirtschaftinformatik FAX: +49-251-83-38259
Universitaet Muenster Email: firstname.lastname@example.org