State of -XImpredicativeTypes

Merijn Verstraaten merijn at inconsistent.nl
Wed Feb 19 12:07:25 UTC 2014


Lectori salutem,

What is the actual state of ImpredicativeTypes? It appears documented as a "properly" finished GHC extension, but on IRC and other places I keep hearing it's poorly tested, buggy or incomplete. Is this true or just FUD?

Cheers,
Merijn
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 801 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20140219/99f64c14/attachment.sig>


More information about the Glasgow-haskell-users mailing list