infelicity in module imports

Wolfgang Lux
Wed, 04 Jul 2001 19:38:40 +0200

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.


Wolfgang Lux				  Phone: +49-251-83-38263
Institut fuer Wirtschaftinformatik	    FAX: +49-251-83-38259
Universitaet Muenster		      Email: