qualified exports?

Johannes Waldmann joe@isun.informatik.uni-leipzig.de
Mon, 5 Mar 2001 12:44:51 +0100 (MET)

While thinking of top-level modules for libraries (packages),
I thought it would be uesful if the module could
export indentifiers from submodules, but with their qualified names.
The effect would be that after

module Top 

( module Foo
, module Bar


import qualified Foo
import qualified Bar

one could just write `import Top' and then use the names `Foo.frobs' etc.

What does the languages standard say about the above example?
Section 5.2.5 only mentions "The set of all entities brought into scope 
from a module m by one or more unqualified import declarations ..."

Best regards,
-- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ --
-- joe@informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/252 --