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

[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 release candidate).
>> The 'X' should be lowercase, though, like type variables.
>>
>>
>> Cheers,
>> Pedro
>>
>> On Wed, Aug 22, 2012 at 12:01 AM, dude <dude at 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 at haskell.org
>>> http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe>
>>>
>> _______________________________________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>


-- 
--
dude