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 <d...@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<http://www.haskell.org/mailman/listinfo/haskell-cafe> >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
