On Fri, May 02, 2008 at 03:03:14PM -0700, John Meacham wrote:
> 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 woul
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 insta
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
>
> module Foo(
> data T (f :: * -> *),
> instance Functor f => Eq (T f),
> g :: T f -> T f
> )
>
Indeed! I think it'd be good to allow type signatures, including instance
signatures, in export lists
module Foo(
data T (f :: * -> *),
instance Functor f => Eq (T f),
g :: T f -> T f
)
The first step is to evolve a well-worked-out design. I think that'd be a very
valu
