17 Dec
2015
17 Dec
'15
6:47 a.m.
"Boespflug, Mathieu"
Hi Ben,
does GHC HEAD include the cleanup to the Typeable story detailed here, https://ghc.haskell.org/trac/ghc/wiki/Typeable? My understanding was that this blocked on kind equalities, which was merged just recently. See this quote from that page:
Sadly no. As far as I can recall we didn't have anyone with the bandwidth to work through the interface details and implementation. Sorry for the bad news! Perhaps you'd be interested in picking this up for 8.2? Cheers, - Ben