PolyKinds, Control.Category and GHC 7.6.1

Austin Seipp aseipp at pobox.com
Thu May 16 18:02:23 CEST 2013


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



More information about the Libraries mailing list