2 May
2008
2 May
'08
6:03 p.m.
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 -- John Meacham - ⑆repetae.net⑆john⑈