| > | Program 2: module A(module B, ...) where
| > | ~~~~~~~~~~ import qualified B
| > | ... code that doesn't import B ...
|
| [...]
|
| > I don't think it should matter whether B is imported
| qualified or not;
| > I propose to remove the *unqualified* adjective in the above quote.
|
| ...but only allow qualified access to B by importers of A, right? I.e.
| import A
| B.b -- okay
| b -- not okay
Wrong, and I hope that the report is already unambiguous on this point.
If you say 'import A' then you can refer to "A.f" or "f" but definitely
not
"B.f". The module qualifier is the name of the module named in the
import
statement (or its "as" alias), not the name of the module where it was
originally
defined.
Simon
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
