Export lists in modules

[Johannes Waldmann]

Malcolm Wallace wrote:

> An explicit interface would be useful for many purposes besides
> machine-checked documentation.  

I don't see why you need the signature in two places
(at the point at declaration and in the export list) for that.
Do you want the compiler to check conformance
(of the implementation with the exported type)?
Then you probably designed the interface (export list) separately
from the implementation, so they should not be both in one file.

> For instance, it could be used to
> eliminate the hs-boot or hi-boot files used by some compilers when
> dealing with recursive modules.

Isn't this problem just *created* by the current
export mechanism? See this comment
http://www.haskell.org//pipermail/haskell/2006-February/017590.html

Best regards,
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------