[Haskell-cafe] Template Haskell reified type.

Simon Peyton-Jones simonpj at microsoft.com
Tue May 10 09:04:28 CEST 2011

Can you give a concrete example?  There is code in GHC that is supposed to produce TupleT and ListT!


| -----Original Message-----
| From: haskell-cafe-bounces at haskell.org [mailto:haskell-cafe-bounces at haskell.org] On
| Behalf Of Serguey Zefirov
| Sent: 09 May 2011 14:43
| To: haskell
| Subject: [Haskell-cafe] Template Haskell reified type.
| Language.Haskell.TH.Type contains, among others, two constructors:
| TupleT Int and ListT.
| I can safely construct types using them, but reification returns ConT
| "GHC.Tuple.(,)" and ConT "GHC.Types.[]" respectively.
| This is not fair asymmetry, I think.
| Also, it took purity from one of my functions while I debugged that
| problem. I had to make it into Q monad. ;)
| _______________________________________________
| Haskell-Cafe mailing list
| Haskell-Cafe at haskell.org
| http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list