18 Mar
2012
18 Mar
'12
10:09 p.m.
Hi all, I'm working on bringing Template Haskell up to speed with the new extensions for polymorphic kinds and promoted data kinds. This requires a few small, non-breaking changes to TH datatypes. I've made a (short) wiki page at http://hackage.haskell.org/trac/ghc/wiki/TemplateHaskellRichKinds and the official Trac feature request is hackage.haskell.org/trac/ghc/ticket/5612 Does anyone have any suggestions to what I've written? Any other comments? Thanks! Richard