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@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@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe