instance export decls

John Meacham john at
Fri May 2 18:03:14 EDT 2008

On Thu, May 01, 2008 at 03:21:11PM +0100, Simon Peyton-Jones wrote:
> Indeed! I think it'd be good to allow type signatures, including
> instance signatures, in export lists

The problem with instance signatures is that it would give the
impression that it would be possible to _not_ export an instance, and it
wouldn't make explicit the fact that the instances of all modules it
depends on are also exported. 


John Meacham - ⑆⑆john⑈

More information about the Glasgow-haskell-users mailing list