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

2012-08-24 Thread Brent Yorgey
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

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

2012-08-23 Thread dude
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

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

2012-08-22 Thread 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 d...@methodeutic.com wrote: Hello All: I'm working through Giving Haskell a Promotion. Section 2.4 presents an

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

2012-08-22 Thread Brent Yorgey
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.