Folks

Following lots of feedback from users, especially at ICFP, I’ve evolved some proposals for Template Haskell, that should make it both more expressive, and more secure.

http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal

Do let me know what you think.  Discussion by email is fine (cc me if it’s on Haskell-cafe), or comments direct on the Trac. 

(None of this will be in GHC 7.0; it’s a proposed plan for post-release improvements.)

Thanks

Simon