Export lists in modules

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Wed Feb 22 11:21:32 EST 2006

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

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

More information about the Haskell-prime mailing list