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