PolyKinds, Control.Category and GHC 7.6.1

Edward Kmett ekmett at gmail.com
Thu May 16 18:02:54 CEST 2013


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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20130516/3f42a0ee/attachment.htm>


More information about the Libraries mailing list