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 <[email protected]> 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 > >>>[email protected] > >>>http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe> > >>> > >>_______________________________________________ > >>Haskell-Cafe mailing list > >>[email protected] > >>http://www.haskell.org/mailman/listinfo/haskell-cafe > > > > > > > -- > -- > dude > > > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
