| FWIW PolyKinds in 7.4 is rough, and I had experiences where enabling it
| led to compile failures in downstream modules, so this wouldn't
| necessarily have been painless. Hopefully with 7.6 it will be.
PolyKinds is not an advertised feature of 7.4, so you should absolutely not
rely on it worki
On Mon, Aug 13, 2012 at 10:16 AM, Edward Kmett wrote:
> 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?
>
>
On Mon, Aug 13, 2012 at 9:55 AM, Dan Burton wrote:
> 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 intere
>
> 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.
W
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
dire