Module system bug
Alastair Reid
reid@cs.utah.edu
Wed, 18 Oct 2000 11:51:31 -0600
Just to pin down Koen's bug a little more closely...
Haskell says that:
module A (module B) where ...
should only export those parts of B that were imported from B.
So, if you use 'hiding' or an explicit import list, the hidden entities
should not be re-exported.
But what Hugs does is to export everything exported from B whether it was
imported
into A or not.
If anyone feels like fixing this, I'm pretty sure that Hugs maintains:
1) A list of all entities in scope in each module.
2) A list of all entities exported by each module.
Hugs currently uses (2). Haskell requires that it use the intersection of
(1) and (2).
--
Alastair Reid