As noted by Simon, the bound on that should be >= 706 though.
On Thu, May 16, 2013 at 12:02 PM, Austin Seipp
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