[GHC Proposal] Type-indexed Typeable

Ben Gamari ben at smart-cactus.org
Sat Oct 1 21:09:28 UTC 2016

Hello everyone,

I just opened Pull Request #16 [1] against the ghc-proposals repository,
describing the new Type-indexed Typeable machinery that we would like to
introduce with GHC 8.2.

Please give it a read through and leave your comments. Thanks!


- Ben

[1] https://github.com/ghc-proposals/ghc-proposals/pull/16
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20161001/0bcbbbeb/attachment.sig>

More information about the ghc-devs mailing list