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
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users