[Haskell-cafe] Template Haskell reified type.

[Simon Peyton-Jones]

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

Simon

| -----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