[Haskell-cafe] Template Haskell reified type.
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
More information about the Haskell-Cafe