[Template-haskell] New TH features in the HEAD

Manuel M T Chakravarty chak at cse.unsw.edu.au
Thu Mar 26 06:31:18 EDT 2009

I added some new language features to Template Haskell in the HEAD  

* type families, including associated types,
* kind annotations,
* INLINE and SPECIALISE pragmas, and
* bang patterns.

Especially, type families were repeatedly requested <http://hackage.haskell.org/trac/ghc/ticket/1673 
 >.  Please give these extensions a spin and let me know of any  
problems that you may encounter.

Unfortunately, I had to change the Language.Haskell.TH API in a way  
that is not backwards compatible due to the necessary extensions in  
the Language.Haskell.TH.Syntax.  For the moment, this will only affect  
users of the development version, but I expect these changes to be in  
the next stable release, 6.12, too.

Happy Hacking!

More information about the template-haskell mailing list