RE: PolyKinds, Control.Category and GHC 7.6.1

Fine by me.. it's a library question at this point, so if the librarians are happy so am I Simon Microsoft Research Limited (company number 03369488) is registered in England and Wales Registered office 21 Station Road, Cambridge, CB1 2FB | -----Original Message----- | From: Austin Seipp [mailto:aseipp@pobox.com] | Sent: 16 May 2013 17:00 | To: Simon Peyton-Jones | Cc: Gábor Lehel; Edward Kmett; Ian Lynagh; Haskell Libraries; ghc- | devs@haskell.org | Subject: Re: PolyKinds, Control.Category and GHC 7.6.1 | | I presume people are still interested in this. I actually just ran into | Category's non poly-kinded-ness the other day (while attempting to make | a Category instance for promoted pairs) and found this email in my | history. | | Can we schedule this for 7.8.1? There's -plenty- of time, and the | addendum to Control.Category that Edward posted originally is pretty | much all that is needed. If that sounds OK, I can post a patch for | review or commit it directly to base. | | On Tue, Aug 14, 2012 at 6:14 AM, Simon Peyton-Jones | wrote: | > | 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 working in 7.4. But it IS an advertised | > feature for 7.6 and should work flawlessly. (If not, yell.) | > | > Simon | > | > | > _______________________________________________ | > Glasgow-haskell-users mailing list | > Glasgow-haskell-users@haskell.org | > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users | | | | -- | Regards, | Austin - PGP: 4096R/0x91384671