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: [EMAIL PROTECTED]



_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to