update to Template Haskell for rich kinds

Richard Eisenberg eir at seas.upenn.edu
Mon Mar 19 03:09:30 CET 2012

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 

Does anyone have any suggestions to what I've written? Any other comments?


More information about the Glasgow-haskell-users mailing list