[Haskell-cafe] explicit annotations on kind polymorphism for data types

[Brent Yorgey]

I believe in the paper it is actually a lowercase Greek chi (χ), which
should work too. ;)

-Brent

On Wed, Aug 22, 2012 at 08:15:48AM +0200, José Pedro Magalhães wrote:
> Nope, but it should work on 7.6 (also on the release candidate).
> The 'X' should be lowercase, though, like type variables.
> 
> 
> Cheers,
> Pedro
> 
> On Wed, Aug 22, 2012 at 12:01 AM, dude <dude at methodeutic.com> wrote:
> 
> > Hello All:
> >
> > I'm working through Giving Haskell a Promotion.
> >
> > Section 2.4 presents an explicitly annotated data type declaration similar
> > to the following:
> >
> > data EqRefl (a::X)(b::X) where
> >   Refl :: forall X. forall (a::X). EqRefl a a
> >
> > Has this been implemented in GHC 7.4.2?
> >
> > 7.8.3 in the GHC User Guide leads me to believe it has not.
> >
> > --
> > dude
> >
> > ______________________________**_________________
> > Haskell-Cafe mailing list
> > Haskell-Cafe at haskell.org
> > http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe>
> >

> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe