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

[José Pedro Magalhães]

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>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120822/36e95c24/attachment.htm>