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

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

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

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

-- -- dude

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe