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/ -------