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

[Brent Yorgey]

Correct.  I just meant that you can use a lowercase x or a
lowercase chi (χ).  Any lowercase characters (as defined by Unicode)
can be used as identifiers.

-Brent

On Thu, Aug 23, 2012 at 11:09:41AM -0400, dude wrote:
> Not in 7.4.2, correct?
> 
> --
> dude
> 
> On 08/22/2012 09:58 AM, Brent Yorgey wrote:
> >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
> >
> >
> 
> 
> -- 
> --
> dude
> 
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>