PolyKinds, Control.Category and GHC 7.6.1

Austin Seipp aseipp at pobox.com
Thu May 16 19:02:35 CEST 2013


Very well then. If there are no objections in the typical 2wk time
frame*, I will craft a patch to base and commit it to fix this.

* Technically, some might consider this proposal open for 9 months.
I'm new to library changes however, so I'll go by all the rules as I
should. :)

On Thu, May 16, 2013 at 11:02 AM, Edward Kmett <ekmett at gmail.com> wrote:
> As noted by Simon, the bound on that should be >= 706 though.
>
>
> On Thu, May 16, 2013 at 12:02 PM, Austin Seipp <aseipp at pobox.com> wrote:
>>
>> Also, apologies for reviving a thread. I also did not include Edward's
>> original message for better context. It is inline below.
>>
>> --------------------------
>> Would it be possible to add something like
>>
>> {-# LANGUAGE CPP #-}
>> #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 704
>> {-# LANGUAGE PolyKinds #-}
>> #endif
>>
>> to the top of Control.Category before the 7.6.1 final release?
>>
>> Control.Category.Category is pretty much the only type in base that
>> directly benefits from PolyKinds without any code changes, but without
>> enabling the extension there nobody can define categories for kinds
>> other than *, and most interesting categories actually have more
>> exotic kinds.
>>
>> I only noticed that it wasn't there in the release candidate just now.
>>
>> -Edward Kmett
>> --------------------------
>>
>>
>> --
>> Regards,
>> Austin - PGP: 4096R/0x91384671
>
>



-- 
Regards,
Austin - PGP: 4096R/0x91384671



More information about the ghc-devs mailing list