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

#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 704
{-# LANGUAGE PolyKinds #-}

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

Austin - PGP: 4096R/0x91384671

More information about the ghc-devs mailing list